「この中期的視点は荒々しい」ということは本当である
fact1: もしもあの被選挙権が早期離床でないがしかし引き出物だとするとあの塗り分けは引き出物である fact2: この国籍選択が受け取るとしたらあの任意事業は受け取る fact3: もし仮にあの陸・海・空は早期離床でないとすると「あの任意事業は修築する」ということは真実だ fact4: もしもあの塗り分けは如此しとすると「その截頭谷はちょろい」ということは確かである fact5: 腹立たしい物があるとするとあの被選挙権は荒々しい fact6: もしも「心憎い」物があるならあの被選挙権は腹立たしくてまた引き出物である fact7: あの預金保険法は受け取る fact8: 仮に「なにかは心憎いということはないし更にそれは腹立たしくらない」ということは成り立たないとするとちょろい fact9: もし仮に「その截頭谷はちょろい」ということは確かだとしたらあの陸・海・空はちょろくないかまたは早期離床だということはない fact10: もし「あの任意事業は修築するし受け取る」ということは確かであるならばこの中期的視点は荒々しくない fact11: 「心憎い」ものはある fact12: もしもあの被選挙権は腹立たしいとすると「あの塗り分けは如此し」ということは本当である fact13: この国籍選択は受け取る fact14: もしその截頭谷が如此しないとするとあの被選挙権は早期離床でないけど引き出物だ fact15: 仮にあの塗り分けが引き出物ならあの被選挙権は引き出物だ fact16: もしもあの陸・海・空はちょろくないとすると「あの任意事業は修築する」ということは正しい fact17: もし仮にとある物は引き出物でないならば「それは腹立たしくらないしかつ心憎いということはない」ということは偽である
fact11 & fact6 -> int1: あの被選挙権は腹立たしくてかつそれは引き出物である; int1 -> int2: あの被選挙権は腹立たしい; int2 & fact12 -> int3: あの塗り分けは如此し; int3 & fact4 -> int4: その截頭谷はちょろい; int4 & fact9 -> int5: 「あの陸・海・空はちょろくないか早期離床でないかもしくは両方ともだ」ということは事実である; int5 & fact16 & fact3 -> int6: 「あの任意事業は修築する」ということは真実である; fact13 & fact2 -> int7: あの任意事業は受け取る; int6 & int7 -> int8: あの任意事業は修築するしそれは受け取る; int8 & fact10 -> hypothesis;
あの塗り分けはちょろい
fact18 -> int9: 仮に「あの塗り分けが心憎くないしさらに腹立たしくらない」ということは偽ならちょろい;
$facts$ = fact1: もしもあの被選挙権が早期離床でないがしかし引き出物だとするとあの塗り分けは引き出物である fact2: この国籍選択が受け取るとしたらあの任意事業は受け取る fact3: もし仮にあの陸・海・空は早期離床でないとすると「あの任意事業は修築する」ということは真実だ fact4: もしもあの塗り分けは如此しとすると「その截頭谷はちょろい」ということは確かである fact5: 腹立たしい物があるとするとあの被選挙権は荒々しい fact6: もしも「心憎い」物があるならあの被選挙権は腹立たしくてまた引き出物である fact7: あの預金保険法は受け取る fact8: 仮に「なにかは心憎いということはないし更にそれは腹立たしくらない」ということは成り立たないとするとちょろい fact9: もし仮に「その截頭谷はちょろい」ということは確かだとしたらあの陸・海・空はちょろくないかまたは早期離床だということはない fact10: もし「あの任意事業は修築するし受け取る」ということは確かであるならばこの中期的視点は荒々しくない fact11: 「心憎い」ものはある fact12: もしもあの被選挙権は腹立たしいとすると「あの塗り分けは如此し」ということは本当である fact13: この国籍選択は受け取る fact14: もしその截頭谷が如此しないとするとあの被選挙権は早期離床でないけど引き出物だ fact15: 仮にあの塗り分けが引き出物ならあの被選挙権は引き出物だ fact16: もしもあの陸・海・空はちょろくないとすると「あの任意事業は修築する」ということは正しい fact17: もし仮にとある物は引き出物でないならば「それは腹立たしくらないしかつ心憎いということはない」ということは偽である ; $hypothesis$ = 「この中期的視点は荒々しい」ということは本当である ; $proof$ = 
fact11 & fact6 -> int1: あの被選挙権は腹立たしくてかつそれは引き出物である; int1 -> int2: あの被選挙権は腹立たしい; int2 & fact12 -> int3: あの塗り分けは如此し; int3 & fact4 -> int4: その截頭谷はちょろい; int4 & fact9 -> int5: 「あの陸・海・空はちょろくないか早期離床でないかもしくは両方ともだ」ということは事実である; int5 & fact16 & fact3 -> int6: 「あの任意事業は修築する」ということは真実である; fact13 & fact2 -> int7: あの任意事業は受け取る; int6 & int7 -> int8: あの任意事業は修築するしそれは受け取る; int8 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもあの被選挙権が早期離床でないがしかし引き出物だとするとあの塗り分けは引き出物である
事実2: この国籍選択が受け取るとしたらあの任意事業は受け取る
事実3: もし仮にあの陸・海・空は早期離床でないとすると「あの任意事業は修築する」ということは真実だ
事実4: もしもあの塗り分けは如此しとすると「その截頭谷はちょろい」ということは確かである
事実5: 腹立たしい物があるとするとあの被選挙権は荒々しい
事実6: もしも「心憎い」物があるならあの被選挙権は腹立たしくてまた引き出物である
事実7: あの預金保険法は受け取る
事実8: 仮に「なにかは心憎いということはないし更にそれは腹立たしくらない」ということは成り立たないとするとちょろい
事実9: もし仮に「その截頭谷はちょろい」ということは確かだとしたらあの陸・海・空はちょろくないかまたは早期離床だということはない
事実10: もし「あの任意事業は修築するし受け取る」ということは確かであるならばこの中期的視点は荒々しくない
事実11: 「心憎い」ものはある
事実12: もしもあの被選挙権は腹立たしいとすると「あの塗り分けは如此し」ということは本当である
事実13: この国籍選択は受け取る
事実14: もしその截頭谷が如此しないとするとあの被選挙権は早期離床でないけど引き出物だ
事実15: 仮にあの塗り分けが引き出物ならあの被選挙権は引き出物だ
事実16: もしもあの陸・海・空はちょろくないとすると「あの任意事業は修築する」ということは正しい
事実17: もし仮にとある物は引き出物でないならば「それは腹立たしくらないしかつ心憎いということはない」ということは偽である

仮説: 「この中期的視点は荒々しい」ということは本当である
1. 事実11と事実6から、推論1: "あの被選挙権は腹立たしくてかつそれは引き出物である"が導かれる
2. 推論1から、推論2: "あの被選挙権は腹立たしい"が導かれる
3. 推論2と事実12から、推論3: "あの塗り分けは如此し"が導かれる
4. 推論3と事実4から、推論4: "その截頭谷はちょろい"が導かれる
5. 推論4と事実9から、推論5: "「あの陸・海・空はちょろくないか早期離床でないかもしくは両方ともだ」ということは事実である"が導かれる
6. 推論5と事実16と事実3から、推論6: "「あの任意事業は修築する」ということは真実である"が導かれる
7. 事実13と事実2から、推論7: "あの任意事業は受け取る"が導かれる
8. 推論6と推論7から、推論8: "あの任意事業は修築するしそれは受け取る"が導かれる
9. 推論8と事実10から、仮説が否定される

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