>>1433608
おのゆ宮本と稲村が同時に試合に出たことがある、おのゆ宮本とたいきは同時に試合に出たことはない

⇧これは事実なので、前の方のコメントで「事実。」というまとめ方になっているのではないのでしょうか…？