この執行文は対外硬集団であるし更に社会契約だ
fact1: もしも「この執行文は生え易くないけれど強い」ということは成り立たないとしたら入り乱れない fact2: 仮に「あの利回りは条件付けるけど忍び難くない」ということは成り立たないならこの執行文は忍び難くない fact3: 仮にあの利回りが横座りしないとしたら対外硬集団でない fact4: その増分が詮無くないかそれは生き辛いということはないかまたはどちらもならばそれは生き辛いということはない fact5: 仮に何かは貞心様であるということはないなら「条件付けるし忍び難くない」ということは事実であるということはない fact6: 「あの利回りは横座りするが羨ましいということはない」ということは偽だ fact7: もし仮に何かは忍び難くないとすれば社会契約であるしかつ促進因子だ fact8: もしなんらかのものが入り乱れないとすれば対外硬集団でまた冗談っぽい fact9: あの米類は電離層でない fact10: 生き辛くない物は吸引であるし貞心様である fact11: あの大入り満員は頭部外傷でない fact12: もしあの臓器障害が三作目であるということはないとするとその増分は詮無いということはないか生き辛いということはない fact13: もしも「あの数字データが刻み続けないしさらに三作目でない」ということは成り立つならあの臓器障害は三作目でない fact14: 「もしもその増分が吸引であるし更にそれが貞心様だとしたらあの利回りは貞心様でない」ということは本当である fact15: 「この規定内容は側室であるしすげない」ということは成り立たない fact16: 「あの利回りは羨ましいしおまけに社会契約だ」ということは嘘だ fact17: もしも「この執行文は横座りするけれどそれは羨ましくない」ということは成り立たないならばそれは社会契約でない fact18: 仮に「あの利回りは横座りするけど羨ましいということはない」ということは成り立つということはないとするとそれは対外硬集団でない fact19: もし仮にあるものが電離層だということはないならばあの数字データは刻み続けない fact20: もしあの利回りは対外硬集団でないとすれば「この執行文は対外硬集団だしさらに社会契約だ」ということは偽である fact21: もしあの大入り満員は頭部外傷でないとしたら「この執行文は生え易くない一方で強い」ということは成り立たない
fact18 & fact6 -> int1: あの利回りは対外硬集団でない; int1 & fact20 -> hypothesis;
fact18 & fact6 -> int1: ¬{B}{a}; int1 & fact20 -> hypothesis;
この執行文は対外硬集団であるしその上それは社会契約だ
fact33 -> int2: もし仮にこの執行文が入り乱れないなら対外硬集団だし冗談っぽい; fact30 & fact34 -> int3: 「この執行文は生え易くないけど強い」ということは成り立たない; fact22 & int3 -> int4: この執行文は入り乱れるということはない; int2 & int4 -> int5: この執行文は対外硬集団だしかつ冗談っぽい; int5 -> int6: この執行文は対外硬集団である; fact28 -> int7: もしもこの執行文は忍び難くないとしたら「それは社会契約だし更に促進因子である」ということは間違っていない; fact29 -> int8: もしあの利回りは貞心様でないなら「それは条件付けるけれど忍び難くない」ということは成り立つということはない; fact24 -> int9: もしその増分が生き辛くないとすれば吸引であるしその上それは貞心様だ; fact27 -> int10: 「電離層だということはない」ものはある; int10 & fact35 -> int11: あの数字データは刻み続けない;
$facts$ = fact1: もしも「この執行文は生え易くないけれど強い」ということは成り立たないとしたら入り乱れない fact2: 仮に「あの利回りは条件付けるけど忍び難くない」ということは成り立たないならこの執行文は忍び難くない fact3: 仮にあの利回りが横座りしないとしたら対外硬集団でない fact4: その増分が詮無くないかそれは生き辛いということはないかまたはどちらもならばそれは生き辛いということはない fact5: 仮に何かは貞心様であるということはないなら「条件付けるし忍び難くない」ということは事実であるということはない fact6: 「あの利回りは横座りするが羨ましいということはない」ということは偽だ fact7: もし仮に何かは忍び難くないとすれば社会契約であるしかつ促進因子だ fact8: もしなんらかのものが入り乱れないとすれば対外硬集団でまた冗談っぽい fact9: あの米類は電離層でない fact10: 生き辛くない物は吸引であるし貞心様である fact11: あの大入り満員は頭部外傷でない fact12: もしあの臓器障害が三作目であるということはないとするとその増分は詮無いということはないか生き辛いということはない fact13: もしも「あの数字データが刻み続けないしさらに三作目でない」ということは成り立つならあの臓器障害は三作目でない fact14: 「もしもその増分が吸引であるし更にそれが貞心様だとしたらあの利回りは貞心様でない」ということは本当である fact15: 「この規定内容は側室であるしすげない」ということは成り立たない fact16: 「あの利回りは羨ましいしおまけに社会契約だ」ということは嘘だ fact17: もしも「この執行文は横座りするけれどそれは羨ましくない」ということは成り立たないならばそれは社会契約でない fact18: 仮に「あの利回りは横座りするけど羨ましいということはない」ということは成り立つということはないとするとそれは対外硬集団でない fact19: もし仮にあるものが電離層だということはないならばあの数字データは刻み続けない fact20: もしあの利回りは対外硬集団でないとすれば「この執行文は対外硬集団だしさらに社会契約だ」ということは偽である fact21: もしあの大入り満員は頭部外傷でないとしたら「この執行文は生え易くない一方で強い」ということは成り立たない ; $hypothesis$ = この執行文は対外硬集団であるし更に社会契約だ ; $proof$ = 
fact18 & fact6 -> int1: あの利回りは対外硬集団でない; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もしも「この執行文は生え易くないけれど強い」ということは成り立たないとしたら入り乱れない
事実2: 仮に「あの利回りは条件付けるけど忍び難くない」ということは成り立たないならこの執行文は忍び難くない
事実3: 仮にあの利回りが横座りしないとしたら対外硬集団でない
事実4: その増分が詮無くないかそれは生き辛いということはないかまたはどちらもならばそれは生き辛いということはない
事実5: 仮に何かは貞心様であるということはないなら「条件付けるし忍び難くない」ということは事実であるということはない
事実6: 「あの利回りは横座りするが羨ましいということはない」ということは偽だ
事実7: もし仮に何かは忍び難くないとすれば社会契約であるしかつ促進因子だ
事実8: もしなんらかのものが入り乱れないとすれば対外硬集団でまた冗談っぽい
事実9: あの米類は電離層でない
事実10: 生き辛くない物は吸引であるし貞心様である
事実11: あの大入り満員は頭部外傷でない
事実12: もしあの臓器障害が三作目であるということはないとするとその増分は詮無いということはないか生き辛いということはない
事実13: もしも「あの数字データが刻み続けないしさらに三作目でない」ということは成り立つならあの臓器障害は三作目でない
事実14: 「もしもその増分が吸引であるし更にそれが貞心様だとしたらあの利回りは貞心様でない」ということは本当である
事実15: 「この規定内容は側室であるしすげない」ということは成り立たない
事実16: 「あの利回りは羨ましいしおまけに社会契約だ」ということは嘘だ
事実17: もしも「この執行文は横座りするけれどそれは羨ましくない」ということは成り立たないならばそれは社会契約でない
事実18: 仮に「あの利回りは横座りするけど羨ましいということはない」ということは成り立つということはないとするとそれは対外硬集団でない
事実19: もし仮にあるものが電離層だということはないならばあの数字データは刻み続けない
事実20: もしあの利回りは対外硬集団でないとすれば「この執行文は対外硬集団だしさらに社会契約だ」ということは偽である
事実21: もしあの大入り満員は頭部外傷でないとしたら「この執行文は生え易くない一方で強い」ということは成り立たない

仮説: この執行文は対外硬集団であるし更に社会契約だ
1. 事実18と事実6から、推論1: "あの利回りは対外硬集団でない"が導かれる
2. 推論1と事実20から、仮説が否定される

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