そのパラペットは味気ないがベルトコンベアーでない
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: もしも「あの本遺跡は零五Ｌでない」ということは成り立つとしたら「めんど臭いものでしかも黄色っぽくない」ということは誤っている
void -> assump1: 以下のように仮定する。「あの本遺跡は黄色っぽくないしおまけにめんど臭くない」ということは成り立たない; fact23 & assump1 -> int1: 「その城内はフォルダ名でない」ということは成り立つ; fact5 & fact19 & fact13 -> int2: その城内はフォルダ名だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの本遺跡は黄色っぽいということはないしめんど臭いということはない; fact21 -> int5: もしあの本遺跡は黄色っぽくないしかつめんど臭くないならそれは真ん丸くない; int4 & int5 -> int6: あの本遺跡は真ん丸くない; int6 & fact14 -> int7: 「そのパラペットは真ん丸いし加えて零五Ｌだ」ということは事実と異なる; int7 & fact8 -> int8: そのパラペットは狡いということはない; fact17 -> int9: もし仮にそのパラペットは狡いということはないとしたら「「それは味気なくてそれはベルトコンベアーでない」ということは事実である」ということは成り立たない; int8 & int9 -> hypothesis;
そのパラペットは味気ないがしかしベルトコンベアーでない
fact30 -> int10: 仮にその城内が交差しないとするとそれは零五Ｌだけど狡いということはない;
$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$ = 
void -> assump1: 以下のように仮定する。「あの本遺跡は黄色っぽくないしおまけにめんど臭くない」ということは成り立たない; fact23 & assump1 -> int1: 「その城内はフォルダ名でない」ということは成り立つ; fact5 & fact19 & fact13 -> int2: その城内はフォルダ名だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの本遺跡は黄色っぽいということはないしめんど臭いということはない; fact21 -> int5: もしあの本遺跡は黄色っぽくないしかつめんど臭くないならそれは真ん丸くない; int4 & int5 -> int6: あの本遺跡は真ん丸くない; int6 & fact14 -> int7: 「そのパラペットは真ん丸いし加えて零五Ｌだ」ということは事実と異なる; int7 & fact8 -> int8: そのパラペットは狡いということはない; fact17 -> int9: もし仮にそのパラペットは狡いということはないとしたら「「それは味気なくてそれはベルトコンベアーでない」ということは事実である」ということは成り立たない; int8 & int9 -> hypothesis; __DISPROVED__
事実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. 仮定1: 以下のように仮定する。「あの本遺跡は黄色っぽくないしおまけにめんど臭くない」ということは成り立たない
2. 事実23と仮定1から、推論1: "「その城内はフォルダ名でない」ということは成り立つ"が導かれる
3. 事実5と事実19と事実13から、推論2: "その城内はフォルダ名だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの本遺跡は黄色っぽいということはないしめんど臭いということはない"が導かれる
6. 事実21から、推論5: "もしあの本遺跡は黄色っぽくないしかつめんど臭くないならそれは真ん丸くない"が導かれる
7. 推論4と推論5から、推論6: "あの本遺跡は真ん丸くない"が導かれる
8. 推論6と事実14から、推論7: "「そのパラペットは真ん丸いし加えて零五Ｌだ」ということは事実と異なる"が導かれる
9. 推論7と事実8から、推論8: "そのパラペットは狡いということはない"が導かれる
10. 事実17から、推論9: "もし仮にそのパラペットは狡いということはないとしたら「「それは味気なくてそれはベルトコンベアーでない」ということは事実である」ということは成り立たない"が導かれる
11. 推論8と推論9から、仮説が否定される

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