「もし仮にあの六十五歳未満が程遠くないとすればあの高頻度は嘲り笑うし四号前段である」ということは誤りである
fact1: もし仮にこの洋が惚気るないしそれに追走しないならあの六十五歳未満は程遠い fact2: 「もし仮にあの高頻度が惚気るないとしたらこの洋は惚気るないししかも追走しない」ということは正しい fact3: もし「「あの高頻度は悪くないし加えて惚気るない」ということは事実と異なる」ということは真実だとしたら森林公園だ fact4: この工員はヒヤリングしないしおまけに嘲り笑わない fact5: 仮に「あの高頻度は追走しないし嘲り笑わない」ということは成り立たないならそれは森林公園だ fact6: 「あの高頻度は悪いが惚気るない」ということは誤っている fact7: その大ニュースは程遠くないしかつ救護するということはない fact8: 「あのポスト石油はテンションボルトであってしかも森林公園だということはない」ということは誤りだ fact9: あの高頻度は抗するし四号前段である fact10: もしもこの洋が惚気るないとするとあの高頻度は惚気るないしそれは追走しない fact11: 「あの六十五歳未満は森林公園であるけれど葉月でない」ということは事実と異なる fact12: もし仮になんらかの物が森林公園ならば嘲り笑う fact13: 「あの高頻度が惚気るないならばこの洋は追走しない」ということは誤っていない fact14: あの高頻度が悪いとするとそれは森林公園である fact15: 仮にあの高頻度が程遠いなら悪い fact16: この洋が追走しないしさらに森林公園であるということはない
void -> assump2: 以下のように仮定する。あの高頻度は悪くないしそれに惚気るということはない; assump2 -> int1: あの高頻度は惚気るない; int1 & fact2 -> int2: この洋は惚気るないししかも追走しない; int2 & fact1 -> int3: あの六十五歳未満は程遠い; void -> assump1: 以下のように仮定する。あの六十五歳未満は程遠くない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの高頻度は悪くないものであってしかも惚気るない」ということは成り立つということはない; int5 & fact3 -> int6: あの高頻度は森林公園である; fact12 -> int7: 仮にあの高頻度は森林公園であるとしたらそれは嘲り笑う; int6 & int7 -> int8: あの高頻度は嘲り笑う; fact9 -> int9: あの高頻度は四号前段だ; int8 & int9 -> int10: 「あの高頻度は嘲り笑うしさらに四号前段だ」ということは嘘でない; [assump1] & int10 -> hypothesis;
$facts$ = fact1: もし仮にこの洋が惚気るないしそれに追走しないならあの六十五歳未満は程遠い fact2: 「もし仮にあの高頻度が惚気るないとしたらこの洋は惚気るないししかも追走しない」ということは正しい fact3: もし「「あの高頻度は悪くないし加えて惚気るない」ということは事実と異なる」ということは真実だとしたら森林公園だ fact4: この工員はヒヤリングしないしおまけに嘲り笑わない fact5: 仮に「あの高頻度は追走しないし嘲り笑わない」ということは成り立たないならそれは森林公園だ fact6: 「あの高頻度は悪いが惚気るない」ということは誤っている fact7: その大ニュースは程遠くないしかつ救護するということはない fact8: 「あのポスト石油はテンションボルトであってしかも森林公園だということはない」ということは誤りだ fact9: あの高頻度は抗するし四号前段である fact10: もしもこの洋が惚気るないとするとあの高頻度は惚気るないしそれは追走しない fact11: 「あの六十五歳未満は森林公園であるけれど葉月でない」ということは事実と異なる fact12: もし仮になんらかの物が森林公園ならば嘲り笑う fact13: 「あの高頻度が惚気るないならばこの洋は追走しない」ということは誤っていない fact14: あの高頻度が悪いとするとそれは森林公園である fact15: 仮にあの高頻度が程遠いなら悪い fact16: この洋が追走しないしさらに森林公園であるということはない ; $hypothesis$ = 「もし仮にあの六十五歳未満が程遠くないとすればあの高頻度は嘲り笑うし四号前段である」ということは誤りである ; $proof$ = 
void -> assump2: 以下のように仮定する。あの高頻度は悪くないしそれに惚気るということはない; assump2 -> int1: あの高頻度は惚気るない; int1 & fact2 -> int2: この洋は惚気るないししかも追走しない; int2 & fact1 -> int3: あの六十五歳未満は程遠い; void -> assump1: 以下のように仮定する。あの六十五歳未満は程遠くない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「あの高頻度は悪くないものであってしかも惚気るない」ということは成り立つということはない; int5 & fact3 -> int6: あの高頻度は森林公園である; fact12 -> int7: 仮にあの高頻度は森林公園であるとしたらそれは嘲り笑う; int6 & int7 -> int8: あの高頻度は嘲り笑う; fact9 -> int9: あの高頻度は四号前段だ; int8 & int9 -> int10: 「あの高頻度は嘲り笑うしさらに四号前段だ」ということは嘘でない; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もし仮にこの洋が惚気るないしそれに追走しないならあの六十五歳未満は程遠い
事実2: 「もし仮にあの高頻度が惚気るないとしたらこの洋は惚気るないししかも追走しない」ということは正しい
事実3: もし「「あの高頻度は悪くないし加えて惚気るない」ということは事実と異なる」ということは真実だとしたら森林公園だ
事実4: この工員はヒヤリングしないしおまけに嘲り笑わない
事実5: 仮に「あの高頻度は追走しないし嘲り笑わない」ということは成り立たないならそれは森林公園だ
事実6: 「あの高頻度は悪いが惚気るない」ということは誤っている
事実7: その大ニュースは程遠くないしかつ救護するということはない
事実8: 「あのポスト石油はテンションボルトであってしかも森林公園だということはない」ということは誤りだ
事実9: あの高頻度は抗するし四号前段である
事実10: もしもこの洋が惚気るないとするとあの高頻度は惚気るないしそれは追走しない
事実11: 「あの六十五歳未満は森林公園であるけれど葉月でない」ということは事実と異なる
事実12: もし仮になんらかの物が森林公園ならば嘲り笑う
事実13: 「あの高頻度が惚気るないならばこの洋は追走しない」ということは誤っていない
事実14: あの高頻度が悪いとするとそれは森林公園である
事実15: 仮にあの高頻度が程遠いなら悪い
事実16: この洋が追走しないしさらに森林公園であるということはない

仮説: 「もし仮にあの六十五歳未満が程遠くないとすればあの高頻度は嘲り笑うし四号前段である」ということは誤りである
1. 仮定2: 以下のように仮定する。あの高頻度は悪くないしそれに惚気るということはない
2. 仮定2から、推論1: "あの高頻度は惚気るない"が導かれる
3. 推論1と事実2から、推論2: "この洋は惚気るないししかも追走しない"が導かれる
4. 推論2と事実1から、推論3: "あの六十五歳未満は程遠い"が導かれる
5. 仮定1: 以下のように仮定する。あの六十五歳未満は程遠くない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「あの高頻度は悪くないものであってしかも惚気るない」ということは成り立つということはない"が導かれる
8. 推論5と事実3から、推論6: "あの高頻度は森林公園である"が導かれる
9. 事実12から、推論7: "仮にあの高頻度は森林公園であるとしたらそれは嘲り笑う"が導かれる
10. 推論6と推論7から、推論8: "あの高頻度は嘲り笑う"が導かれる
11. 事実9から、推論9: "あの高頻度は四号前段だ"が導かれる
12. 推論8と推論9から、推論10: "「あの高頻度は嘲り笑うしさらに四号前段だ」ということは嘘でない"が導かれる
13. [仮定1]と推論10から、仮説が否定される

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