この敵手看破・狙い役は残り御飯でない
fact1: 「この敵手看破・狙い役はライフライン施設であるしかつ残り御飯である」ということは成り立つ fact2: その特殊効果はライフライン施設である fact3: 仮にこの敵手看破・狙い役が説明し易くないならあの御立ちは残り御飯でかつライフライン施設である
fact1 -> hypothesis;
fact1 -> hypothesis;
あの御立ちは残り御飯だ
$facts$ = fact1: 「この敵手看破・狙い役はライフライン施設であるしかつ残り御飯である」ということは成り立つ fact2: その特殊効果はライフライン施設である fact3: 仮にこの敵手看破・狙い役が説明し易くないならあの御立ちは残り御飯でかつライフライン施設である ; $hypothesis$ = この敵手看破・狙い役は残り御飯でない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「この敵手看破・狙い役はライフライン施設であるしかつ残り御飯である」ということは成り立つ
事実2: その特殊効果はライフライン施設である
事実3: 仮にこの敵手看破・狙い役が説明し易くないならあの御立ちは残り御飯でかつライフライン施設である

仮説: この敵手看破・狙い役は残り御飯でない
1. 事実1から、仮説が否定される

よって、仮説が否定されました。