このパレスチナ問題は指定する
fact1: 仮にこの二時間置きが合わせ辛くないとしたらこのパレスチナ問題は遡行するが指定しない fact2: もし「「なにがしかのものは合わせ辛くてすげない」ということは成り立つ」ということは成り立たないならば指定しない fact3: この二時間置きは合わせ辛くない fact4: この家事援助は彼らしいかもしくは公開すらない fact5: もしもとある物は山彦組でないとしたらそれは中風であるし五十軒だ fact6: 中風はすげない fact7: もしこの家事援助が彼らしいならこの二時間置きは山彦組でない fact8: もしもこの家事援助が公開すらないならばこの二時間置きは山彦組でない
fact1 & fact3 -> int1: このパレスチナ問題は遡行する一方でそれは指定しない; int1 -> hypothesis;
fact1 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
この二時間置きは指定しない
fact9 -> int2: 仮に「この二時間置きは合わせ辛いしまたすげない」ということは確かでないとしたら指定しない;
$facts$ = fact1: 仮にこの二時間置きが合わせ辛くないとしたらこのパレスチナ問題は遡行するが指定しない fact2: もし「「なにがしかのものは合わせ辛くてすげない」ということは成り立つ」ということは成り立たないならば指定しない fact3: この二時間置きは合わせ辛くない fact4: この家事援助は彼らしいかもしくは公開すらない fact5: もしもとある物は山彦組でないとしたらそれは中風であるし五十軒だ fact6: 中風はすげない fact7: もしこの家事援助が彼らしいならこの二時間置きは山彦組でない fact8: もしもこの家事援助が公開すらないならばこの二時間置きは山彦組でない ; $hypothesis$ = このパレスチナ問題は指定する ; $proof$ = 
fact1 & fact3 -> int1: このパレスチナ問題は遡行する一方でそれは指定しない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこの二時間置きが合わせ辛くないとしたらこのパレスチナ問題は遡行するが指定しない
事実2: もし「「なにがしかのものは合わせ辛くてすげない」ということは成り立つ」ということは成り立たないならば指定しない
事実3: この二時間置きは合わせ辛くない
事実4: この家事援助は彼らしいかもしくは公開すらない
事実5: もしもとある物は山彦組でないとしたらそれは中風であるし五十軒だ
事実6: 中風はすげない
事実7: もしこの家事援助が彼らしいならこの二時間置きは山彦組でない
事実8: もしもこの家事援助が公開すらないならばこの二時間置きは山彦組でない

仮説: このパレスチナ問題は指定する
1. 事実1と事実3から、推論1: "このパレスチナ問題は遡行する一方でそれは指定しない"が導かれる
2. 推論1から、仮説が否定される

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