この整体入門はイスラーム教である
fact1: この整体入門はシーケンス番号でない fact2: この斑紋が直り難くないとすればあのクロロ験酸は溜まり易いかもしくは俊才でないかもしくは両方である fact3: 「とある物はイスラーム教であるかまたは御守りするということはない」ということは間違っているとするとそれは歩行しない fact4: 何かは東南海地震でないとしたらそれは直り難くない fact5: この整体入門は歩行する fact6: この斑紋は直り難いとすれば「溜まり易くなくて加えて俊才でない」ということは誤っている fact7: 「あるものはイスラーム教でなくてその上御守りするということはない」ということは真実でないならイスラーム教だ fact8: その東京支部総会は歩行する fact9: その殺傷はイスラーム教である fact10: もし仮にこの整体入門が歩行すればつれないかあるいはそれはしゃあ無くない fact11: もしある物が溜まり易いかそれは俊才でないとしたら歩行しない fact12: つれないものはイスラーム教でない fact13: つれないかもしくはしゃあ無くないか両方なものはイスラーム教だということはない fact14: もしもあのクロロ験酸が歩行しないとすればあの球技は歩行する fact15: この産育習俗語彙は歩行する fact16: もしもあのクロロ験酸は歩行しないとしたら「この整体入門はイスラーム教でなくてその上それは御守りしない」ということは成り立たない fact17: 仮にこの整体入門がつれないならばイスラーム教でない
fact13 -> int1: もしもこの整体入門はつれないかまたはしゃあ無いということはないとすればそれはイスラーム教でない; fact5 & fact10 -> int2: 「この整体入門はつれないかもしくはしゃあ無くないかまたは両方だ」ということは正しい; int1 & int2 -> hypothesis;
fact13 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; fact5 & fact10 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> hypothesis;
この整体入門はイスラーム教だ
fact19 -> int3: もし仮に「この整体入門はイスラーム教でなくてそれは御守りしない」ということは成り立たないとしたらイスラーム教だ; fact22 -> int4: もし仮にあのクロロ験酸は溜まり易いか俊才でないかまたは両方ならそれは歩行するということはない; fact20 -> int5: もしもこの斑紋が東南海地震でないとすれば直り難くない;
$facts$ = fact1: この整体入門はシーケンス番号でない fact2: この斑紋が直り難くないとすればあのクロロ験酸は溜まり易いかもしくは俊才でないかもしくは両方である fact3: 「とある物はイスラーム教であるかまたは御守りするということはない」ということは間違っているとするとそれは歩行しない fact4: 何かは東南海地震でないとしたらそれは直り難くない fact5: この整体入門は歩行する fact6: この斑紋は直り難いとすれば「溜まり易くなくて加えて俊才でない」ということは誤っている fact7: 「あるものはイスラーム教でなくてその上御守りするということはない」ということは真実でないならイスラーム教だ fact8: その東京支部総会は歩行する fact9: その殺傷はイスラーム教である fact10: もし仮にこの整体入門が歩行すればつれないかあるいはそれはしゃあ無くない fact11: もしある物が溜まり易いかそれは俊才でないとしたら歩行しない fact12: つれないものはイスラーム教でない fact13: つれないかもしくはしゃあ無くないか両方なものはイスラーム教だということはない fact14: もしもあのクロロ験酸が歩行しないとすればあの球技は歩行する fact15: この産育習俗語彙は歩行する fact16: もしもあのクロロ験酸は歩行しないとしたら「この整体入門はイスラーム教でなくてその上それは御守りしない」ということは成り立たない fact17: 仮にこの整体入門がつれないならばイスラーム教でない ; $hypothesis$ = この整体入門はイスラーム教である ; $proof$ = 
fact13 -> int1: もしもこの整体入門はつれないかまたはしゃあ無いということはないとすればそれはイスラーム教でない; fact5 & fact10 -> int2: 「この整体入門はつれないかもしくはしゃあ無くないかまたは両方だ」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この整体入門はシーケンス番号でない
事実2: この斑紋が直り難くないとすればあのクロロ験酸は溜まり易いかもしくは俊才でないかもしくは両方である
事実3: 「とある物はイスラーム教であるかまたは御守りするということはない」ということは間違っているとするとそれは歩行しない
事実4: 何かは東南海地震でないとしたらそれは直り難くない
事実5: この整体入門は歩行する
事実6: この斑紋は直り難いとすれば「溜まり易くなくて加えて俊才でない」ということは誤っている
事実7: 「あるものはイスラーム教でなくてその上御守りするということはない」ということは真実でないならイスラーム教だ
事実8: その東京支部総会は歩行する
事実9: その殺傷はイスラーム教である
事実10: もし仮にこの整体入門が歩行すればつれないかあるいはそれはしゃあ無くない
事実11: もしある物が溜まり易いかそれは俊才でないとしたら歩行しない
事実12: つれないものはイスラーム教でない
事実13: つれないかもしくはしゃあ無くないか両方なものはイスラーム教だということはない
事実14: もしもあのクロロ験酸が歩行しないとすればあの球技は歩行する
事実15: この産育習俗語彙は歩行する
事実16: もしもあのクロロ験酸は歩行しないとしたら「この整体入門はイスラーム教でなくてその上それは御守りしない」ということは成り立たない
事実17: 仮にこの整体入門がつれないならばイスラーム教でない

仮説: この整体入門はイスラーム教である
1. 事実13から、推論1: "もしもこの整体入門はつれないかまたはしゃあ無いということはないとすればそれはイスラーム教でない"が導かれる
2. 事実5と事実10から、推論2: "「この整体入門はつれないかもしくはしゃあ無くないかまたは両方だ」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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