「あのアイバンク運動は書式タブでないがしかしそれは歩く」ということは嘘である
fact1: 「あのアイバンク運動は留学でないがそれは出会い易い」ということは成り立たない fact2: もし仮に「あのアイバンク運動は書式タブでないけれど歩く」ということは間違っているとすればそれは留学であるということはない fact3: 「あのアイバンク運動は書式タブでないが出会い易い」ということは嘘だ fact4: その尺度開発は書式タブでない fact5: もし仮にあのアイバンク運動が留学でないならばこの護身術は出会い易い一方ですっごーくない fact6: この護身術は歩かない fact7: もし仮にこの護身術は出会い易いけどすっごーいないとすると「置き易い」ということは事実である fact8: もし仮にこの護身術が留学でないとするとあのアイバンク運動は置き易いがしかしそれは書式タブでない fact9: もし仮にあのアイバンク運動は留学であるとすると出会い易くない fact10: あのアイバンク運動が問わないとしたら置き易いし更にすっごーい fact11: この護身術は置き易くない fact12: この護身術は書式タブでない fact13: 「あのアイバンク運動は乾煎りする」ということは事実である fact14: もし仮にこの護身術が書式タブだということはないならあのアイバンク運動はすっごーい fact15: もし仮にあのアイバンク運動はすっごーくないとすれば「それは書式タブでない」ということは真実である fact16: この護身術は留学だ fact17: もしあのアイバンク運動がすっごーくないとすればあの護身術は置き易いがしかし書式タブでない fact18: この薬師寺家はすっごーくない
void -> assump1: 以下のように仮定する。「あのアイバンク運動は書式タブでないけど歩く」ということは事実と異なる; fact2 & assump1 -> int1: 「あのアイバンク運動は留学でない」ということは成り立つ; int1 & fact5 -> int2: この護身術は出会い易いけれどすっごーいない; int2 & fact7 -> int3: 「この護身術は置き易い」ということは事実である; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「あのアイバンク運動は書式タブでないけれど歩く」ということは偽だ
$facts$ = fact1: 「あのアイバンク運動は留学でないがそれは出会い易い」ということは成り立たない fact2: もし仮に「あのアイバンク運動は書式タブでないけれど歩く」ということは間違っているとすればそれは留学であるということはない fact3: 「あのアイバンク運動は書式タブでないが出会い易い」ということは嘘だ fact4: その尺度開発は書式タブでない fact5: もし仮にあのアイバンク運動が留学でないならばこの護身術は出会い易い一方ですっごーくない fact6: この護身術は歩かない fact7: もし仮にこの護身術は出会い易いけどすっごーいないとすると「置き易い」ということは事実である fact8: もし仮にこの護身術が留学でないとするとあのアイバンク運動は置き易いがしかしそれは書式タブでない fact9: もし仮にあのアイバンク運動は留学であるとすると出会い易くない fact10: あのアイバンク運動が問わないとしたら置き易いし更にすっごーい fact11: この護身術は置き易くない fact12: この護身術は書式タブでない fact13: 「あのアイバンク運動は乾煎りする」ということは事実である fact14: もし仮にこの護身術が書式タブだということはないならあのアイバンク運動はすっごーい fact15: もし仮にあのアイバンク運動はすっごーくないとすれば「それは書式タブでない」ということは真実である fact16: この護身術は留学だ fact17: もしあのアイバンク運動がすっごーくないとすればあの護身術は置き易いがしかし書式タブでない fact18: この薬師寺家はすっごーくない ; $hypothesis$ = 「あのアイバンク運動は書式タブでないがしかしそれは歩く」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのアイバンク運動は書式タブでないけど歩く」ということは事実と異なる; fact2 & assump1 -> int1: 「あのアイバンク運動は留学でない」ということは成り立つ; int1 & fact5 -> int2: この護身術は出会い易いけれどすっごーいない; int2 & fact7 -> int3: 「この護身術は置き易い」ということは事実である; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「あのアイバンク運動は留学でないがそれは出会い易い」ということは成り立たない
事実2: もし仮に「あのアイバンク運動は書式タブでないけれど歩く」ということは間違っているとすればそれは留学であるということはない
事実3: 「あのアイバンク運動は書式タブでないが出会い易い」ということは嘘だ
事実4: その尺度開発は書式タブでない
事実5: もし仮にあのアイバンク運動が留学でないならばこの護身術は出会い易い一方ですっごーくない
事実6: この護身術は歩かない
事実7: もし仮にこの護身術は出会い易いけどすっごーいないとすると「置き易い」ということは事実である
事実8: もし仮にこの護身術が留学でないとするとあのアイバンク運動は置き易いがしかしそれは書式タブでない
事実9: もし仮にあのアイバンク運動は留学であるとすると出会い易くない
事実10: あのアイバンク運動が問わないとしたら置き易いし更にすっごーい
事実11: この護身術は置き易くない
事実12: この護身術は書式タブでない
事実13: 「あのアイバンク運動は乾煎りする」ということは事実である
事実14: もし仮にこの護身術が書式タブだということはないならあのアイバンク運動はすっごーい
事実15: もし仮にあのアイバンク運動はすっごーくないとすれば「それは書式タブでない」ということは真実である
事実16: この護身術は留学だ
事実17: もしあのアイバンク運動がすっごーくないとすればあの護身術は置き易いがしかし書式タブでない
事実18: この薬師寺家はすっごーくない

仮説: 「あのアイバンク運動は書式タブでないがしかしそれは歩く」ということは嘘である
1. 仮定1: 以下のように仮定する。「あのアイバンク運動は書式タブでないけど歩く」ということは事実と異なる
2. 事実2と仮定1から、推論1: "「あのアイバンク運動は留学でない」ということは成り立つ"が導かれる
3. 推論1と事実5から、推論2: "この護身術は出会い易いけれどすっごーいない"が導かれる
4. 推論2と事実7から、推論3: "「この護身術は置き易い」ということは事実である"が導かれる
5. 推論3と事実11から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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