「その長浜城は面白おかしいということはない」ということは事実である
fact1: もしこの古兵が小斜歯歯車ならばこの内頸動脈は染み込み易い fact2: 仮にあの中央貴族が追従行動でないとすればそれは蒸散だ fact3: 「あの中央貴族は去り行くしまたそれは素数だ」ということは間違いだ fact4: 仮になんらかのものが急はないならば「人間臭くないか点数化しないかもしくは両方ともである」ということは事実だ fact5: もし仮にこの栴檀板が急ぐとすればこの返済計画が急はない fact6: 仮にこの古兵は追従行動でないならば力強い fact7: 仮にその長浜城は染み込み易いがしかし力強くないとすれば面白おかしくない fact8: もしも何らかのものは去り行かないとすれば「それは蒸散であるけれど隠し込まない」ということは誤りだ fact9: その改行無しは二人称だ fact10: 「人間臭いかあるいは急ぐかあるいは両方ともな」ものはある fact11: 「なんらかの物は蒸散だ一方で隠し込まない」ということは成り立たないならばそれは急ぐ fact12: なんらかのものは人間臭くないなら「「ネイティブらしいしさらに小斜歯歯車である」ということは真実だ」ということは成り立たない fact13: 仮にその長浜城が点数化しなくて染み込み易くないとしたらあの中央貴族は小斜歯歯車である fact14: 仮にあの中央貴族が面白おかしいとするとその長浜城は面白おかしい fact15: もしこの内頸動脈は染み込み易くて更にそれは急ぐとしたら「この第三位が急はない」ということは本当である fact16: もしその同居生活が人間臭いとすればあの中央貴族は人間臭い fact17: もしも何かは追従行動だということはないならばそれは小斜歯歯車であるということはないがしかし蒸散だ fact18: 仮に「あの中央貴族は去り行くし素数である」ということは偽であるとすればそれは追従行動であるということはない fact19: 仮に何かは人間臭いとしたら面白おかしい fact20: 仮にこの古兵が力強いとすればそれは小斜歯歯車である fact21: この芸術作品は素数でない fact22: もしなんらかのものが人間臭いかまたは急ぐかあるいは両方ともだとしたらその長浜城は点数化しない fact23: もしも何らかの物は素数でないとしたら力強い fact24: その長浜城は隠し込まなくてかつそれは力強くない fact25: もしも「素数でない」ものがあるとすればこの古兵は素数でないかあるいは追従行動であるということはないかもしくは両方である fact26: 「素数でない」ものはある fact27: もし仮にその改行無しは二人称であるならそれは断末魔であるということはないかもしくは民主主義であるかもしくはどちらもだ
fact10 & fact22 -> int1: その長浜城は点数化しない; void -> assump1: 以下のように仮定する。その長浜城は染み込み易くない; int1 & assump1 -> int2: 「その長浜城は点数化しなくてしかもそれは染み込み易くない」ということは真実だ; int2 & fact13 -> int3: あの中央貴族は小斜歯歯車である; fact18 & fact3 -> int4: 「あの中央貴族は追従行動でない」ということは事実である; fact17 -> int5: もし仮に「あの中央貴族は追従行動だということはない」ということは本当だとしたら小斜歯歯車でないがしかし蒸散である; int4 & int5 -> int6: あの中央貴族は小斜歯歯車でないがそれは蒸散だ; int6 -> int7: あの中央貴族は小斜歯歯車でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その長浜城は染み込み易い; fact24 -> int10: その長浜城は力強くない; int9 & int10 -> int11: その長浜城は染み込み易い一方で力強くない; int11 & fact7 -> hypothesis;
「この飯椀はネイティブらしいしその上小斜歯歯車である」ということは間違っている
fact28 -> int12: もしもこの飯椀は人間臭くないなら「ネイティブらしいしさらに小斜歯歯車である」ということは本当でない;
$facts$ = fact1: もしこの古兵が小斜歯歯車ならばこの内頸動脈は染み込み易い fact2: 仮にあの中央貴族が追従行動でないとすればそれは蒸散だ fact3: 「あの中央貴族は去り行くしまたそれは素数だ」ということは間違いだ fact4: 仮になんらかのものが急はないならば「人間臭くないか点数化しないかもしくは両方ともである」ということは事実だ fact5: もし仮にこの栴檀板が急ぐとすればこの返済計画が急はない fact6: 仮にこの古兵は追従行動でないならば力強い fact7: 仮にその長浜城は染み込み易いがしかし力強くないとすれば面白おかしくない fact8: もしも何らかのものは去り行かないとすれば「それは蒸散であるけれど隠し込まない」ということは誤りだ fact9: その改行無しは二人称だ fact10: 「人間臭いかあるいは急ぐかあるいは両方ともな」ものはある fact11: 「なんらかの物は蒸散だ一方で隠し込まない」ということは成り立たないならばそれは急ぐ fact12: なんらかのものは人間臭くないなら「「ネイティブらしいしさらに小斜歯歯車である」ということは真実だ」ということは成り立たない fact13: 仮にその長浜城が点数化しなくて染み込み易くないとしたらあの中央貴族は小斜歯歯車である fact14: 仮にあの中央貴族が面白おかしいとするとその長浜城は面白おかしい fact15: もしこの内頸動脈は染み込み易くて更にそれは急ぐとしたら「この第三位が急はない」ということは本当である fact16: もしその同居生活が人間臭いとすればあの中央貴族は人間臭い fact17: もしも何かは追従行動だということはないならばそれは小斜歯歯車であるということはないがしかし蒸散だ fact18: 仮に「あの中央貴族は去り行くし素数である」ということは偽であるとすればそれは追従行動であるということはない fact19: 仮に何かは人間臭いとしたら面白おかしい fact20: 仮にこの古兵が力強いとすればそれは小斜歯歯車である fact21: この芸術作品は素数でない fact22: もしなんらかのものが人間臭いかまたは急ぐかあるいは両方ともだとしたらその長浜城は点数化しない fact23: もしも何らかの物は素数でないとしたら力強い fact24: その長浜城は隠し込まなくてかつそれは力強くない fact25: もしも「素数でない」ものがあるとすればこの古兵は素数でないかあるいは追従行動であるということはないかもしくは両方である fact26: 「素数でない」ものはある fact27: もし仮にその改行無しは二人称であるならそれは断末魔であるということはないかもしくは民主主義であるかもしくはどちらもだ ; $hypothesis$ = 「その長浜城は面白おかしいということはない」ということは事実である ; $proof$ = 
fact10 & fact22 -> int1: その長浜城は点数化しない; void -> assump1: 以下のように仮定する。その長浜城は染み込み易くない; int1 & assump1 -> int2: 「その長浜城は点数化しなくてしかもそれは染み込み易くない」ということは真実だ; int2 & fact13 -> int3: あの中央貴族は小斜歯歯車である; fact18 & fact3 -> int4: 「あの中央貴族は追従行動でない」ということは事実である; fact17 -> int5: もし仮に「あの中央貴族は追従行動だということはない」ということは本当だとしたら小斜歯歯車でないがしかし蒸散である; int4 & int5 -> int6: あの中央貴族は小斜歯歯車でないがそれは蒸散だ; int6 -> int7: あの中央貴族は小斜歯歯車でない; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その長浜城は染み込み易い; fact24 -> int10: その長浜城は力強くない; int9 & int10 -> int11: その長浜城は染み込み易い一方で力強くない; int11 & fact7 -> hypothesis; __PROVED__
事実1: もしこの古兵が小斜歯歯車ならばこの内頸動脈は染み込み易い
事実2: 仮にあの中央貴族が追従行動でないとすればそれは蒸散だ
事実3: 「あの中央貴族は去り行くしまたそれは素数だ」ということは間違いだ
事実4: 仮になんらかのものが急はないならば「人間臭くないか点数化しないかもしくは両方ともである」ということは事実だ
事実5: もし仮にこの栴檀板が急ぐとすればこの返済計画が急はない
事実6: 仮にこの古兵は追従行動でないならば力強い
事実7: 仮にその長浜城は染み込み易いがしかし力強くないとすれば面白おかしくない
事実8: もしも何らかのものは去り行かないとすれば「それは蒸散であるけれど隠し込まない」ということは誤りだ
事実9: その改行無しは二人称だ
事実10: 「人間臭いかあるいは急ぐかあるいは両方ともな」ものはある
事実11: 「なんらかの物は蒸散だ一方で隠し込まない」ということは成り立たないならばそれは急ぐ
事実12: なんらかのものは人間臭くないなら「「ネイティブらしいしさらに小斜歯歯車である」ということは真実だ」ということは成り立たない
事実13: 仮にその長浜城が点数化しなくて染み込み易くないとしたらあの中央貴族は小斜歯歯車である
事実14: 仮にあの中央貴族が面白おかしいとするとその長浜城は面白おかしい
事実15: もしこの内頸動脈は染み込み易くて更にそれは急ぐとしたら「この第三位が急はない」ということは本当である
事実16: もしその同居生活が人間臭いとすればあの中央貴族は人間臭い
事実17: もしも何かは追従行動だということはないならばそれは小斜歯歯車であるということはないがしかし蒸散だ
事実18: 仮に「あの中央貴族は去り行くし素数である」ということは偽であるとすればそれは追従行動であるということはない
事実19: 仮に何かは人間臭いとしたら面白おかしい
事実20: 仮にこの古兵が力強いとすればそれは小斜歯歯車である
事実21: この芸術作品は素数でない
事実22: もしなんらかのものが人間臭いかまたは急ぐかあるいは両方ともだとしたらその長浜城は点数化しない
事実23: もしも何らかの物は素数でないとしたら力強い
事実24: その長浜城は隠し込まなくてかつそれは力強くない
事実25: もしも「素数でない」ものがあるとすればこの古兵は素数でないかあるいは追従行動であるということはないかもしくは両方である
事実26: 「素数でない」ものはある
事実27: もし仮にその改行無しは二人称であるならそれは断末魔であるということはないかもしくは民主主義であるかもしくはどちらもだ

仮説: 「その長浜城は面白おかしいということはない」ということは事実である
1. 事実10と事実22から、推論1: "その長浜城は点数化しない"が導かれる
2. 仮定1: 以下のように仮定する。その長浜城は染み込み易くない
3. 推論1と仮定1から、推論2: "「その長浜城は点数化しなくてしかもそれは染み込み易くない」ということは真実だ"が導かれる
4. 推論2と事実13から、推論3: "あの中央貴族は小斜歯歯車である"が導かれる
5. 事実18と事実3から、推論4: "「あの中央貴族は追従行動でない」ということは事実である"が導かれる
6. 事実17から、推論5: "もし仮に「あの中央貴族は追従行動だということはない」ということは本当だとしたら小斜歯歯車でないがしかし蒸散である"が導かれる
7. 推論4と推論5から、推論6: "あの中央貴族は小斜歯歯車でないがそれは蒸散だ"が導かれる
8. 推論6から、推論7: "あの中央貴族は小斜歯歯車でない"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その長浜城は染み込み易い"が導かれる
11. 事実24から、推論10: "その長浜城は力強くない"が導かれる
12. 推論9と推論10から、推論11: "その長浜城は染み込み易い一方で力強くない"が導かれる
13. 推論11と事実7から、仮説が導かれる

よって、仮説が証明されました。