「あの指揮命令は言語事項であるけれど老齢ラットだということはない」ということは間違っている
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: この三文小説は縮み上がらない
fact1 & fact19 -> int1: そのＭＭＡは狭苦しくない; int1 & fact13 -> int2: そのＭＭＡは狭苦しくない一方で李色である; int2 & fact8 -> int3: そのＭＭＡは下げ止まるということはない; int3 & fact18 -> int4: そのＭＭＡは言語事項でない; int4 & fact11 -> hypothesis;
あの指揮命令は言語事項だが老齢ラットでない
fact30 -> int5: この第八学年は李色であるなら「「こっ酷いということはないしかつ狭苦しい」ということは成り立つ」ということは嘘だ; fact31 -> int6: もし仮に「この三文小説は縮み上がらない」ということは事実であるとすれば「それは頼み難くないが成長出来る」ということは誤りだ; int6 & fact28 -> int7: 「この三文小説は頼み難くないがしかし成長出来る」ということは偽だ; int7 -> int8: 「「頼み難くないけど成長出来る」ということは間違っている」物はある; int8 & fact27 -> int9: 「この社会・政治は締めっぽくない」ということは真実だ; fact32 & int9 -> int10: この第八学年は下げ止まるし約言する; int10 -> int11: この第八学年は下げ止まる; fact29 & int11 -> int12: 「この第八学年は李色である」ということは本当である; int5 & int12 -> int13: 「この第八学年はこっ酷くないけどそれは狭苦しい」ということは偽である; fact26 & int13 -> int14: そのＭＭＡは無傷だ; int14 -> int15: なんらかの物は無傷だ;
$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: この三文小説は縮み上がらない ; $hypothesis$ = 「あの指揮命令は言語事項であるけれど老齢ラットだということはない」ということは間違っている ; $proof$ = 
fact1 & fact19 -> int1: そのＭＭＡは狭苦しくない; int1 & fact13 -> int2: そのＭＭＡは狭苦しくない一方で李色である; int2 & fact8 -> int3: そのＭＭＡは下げ止まるということはない; int3 & fact18 -> int4: そのＭＭＡは言語事項でない; int4 & fact11 -> 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: この三文小説は縮み上がらない

仮説: 「あの指揮命令は言語事項であるけれど老齢ラットだということはない」ということは間違っている
1. 事実1と事実19から、推論1: "そのＭＭＡは狭苦しくない"が導かれる
2. 推論1と事実13から、推論2: "そのＭＭＡは狭苦しくない一方で李色である"が導かれる
3. 推論2と事実8から、推論3: "そのＭＭＡは下げ止まるということはない"が導かれる
4. 推論3と事実18から、推論4: "そのＭＭＡは言語事項でない"が導かれる
5. 推論4と事実11から、仮説が導かれる

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