「この激動はえげつないし更に恙無い」ということは間違っている
fact1: もしこの激動はえげつなくないとしたら「この新入生父母代表はべた付き易くないが隣り合わせる」ということは成り立たない fact2: 「あの旬は隣り合わせるということはない」ということは嘘だということはない fact3: 「あの稲藁は起こり易くない」ということは成り立つ fact4: もし仮に「この新入生父母代表はべた付き易くないが隣り合わせる」ということは成り立たないとするとあの稲藁は隣り合わせない fact5: あるものは外食しないとすれば「それは恙無いかあるいは会合するかどちらもだ」ということは確かである fact6: もし仮にこの新入生父母代表はえげつなくないとしたら「この激動はえげつなくておまけに恙無い」ということは誤っている fact7: 「もし仮にあの旬が隣り合わせるということはないとしたらその療育は語り尽くせないけどそれは外食する」ということは成り立つ fact8: 仮に「あの稲藁は会合する」ということは正しいならこの激動は恙無い fact9: もしもこのクラス規模が拾い始めるとしたらあの小鬼は誇らしくないか聞き返さない fact10: このクラス規模は拾い始めるがそれは資本関係でない fact11: 「あの稲藁は格好良くないしかつ起こり易くない」ということは事実だ fact12: もし仮にえげつないものがべた付き易くないならそれは会合する fact13: 仮にあの稲藁が格好良くなくてまた起こり易くないとすれば「この新入生父母代表はべた付き易くない」ということは成り立つ fact14: 仮にあの旬は語り尽くせるということはないならば「「その療育はえげつないがそれは会合しない」ということは成り立つ」ということは間違いである fact15: 何らかのものが外食しないとすればそれは語り尽くせないかまたはそれは恙無いということはないか両方ともである fact16: 「あの陸軍大将は隣り合わせるということはない」ということは嘘だということはない fact17: もし仮に「その療育は語り尽くせないが外食する」ということは正しいならこの新入生父母代表は語り尽くせない fact18: この新入生父母代表が会合するとすればそれは語り尽くせる
fact13 & fact11 -> int1: この新入生父母代表はべた付き易くない; void -> assump1: 以下のように仮定する。この新入生父母代表はえげつない; int1 & assump1 -> int2: この新入生父母代表はえげつないがべた付き易くない; fact12 -> int3: もしもこの新入生父母代表はえげつない一方でべた付き易くないとしたら会合する; int2 & int3 -> int4: この新入生父母代表は会合する; int4 & fact18 -> int5: 「この新入生父母代表は語り尽くせる」ということは真実である; fact2 & fact7 -> int6: その療育は語り尽くせないがしかし外食する; int6 & fact17 -> int7: この新入生父母代表は語り尽くせない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この新入生父母代表はえげつなくない; int9 & fact6 -> hypothesis;
この激動はえげつなくて更にそれは恙無い
fact20 -> int10: この新入生父母代表が外食するということはないとするとそれは恙無いかあるいは会合する;
$facts$ = fact1: もしこの激動はえげつなくないとしたら「この新入生父母代表はべた付き易くないが隣り合わせる」ということは成り立たない fact2: 「あの旬は隣り合わせるということはない」ということは嘘だということはない fact3: 「あの稲藁は起こり易くない」ということは成り立つ fact4: もし仮に「この新入生父母代表はべた付き易くないが隣り合わせる」ということは成り立たないとするとあの稲藁は隣り合わせない fact5: あるものは外食しないとすれば「それは恙無いかあるいは会合するかどちらもだ」ということは確かである fact6: もし仮にこの新入生父母代表はえげつなくないとしたら「この激動はえげつなくておまけに恙無い」ということは誤っている fact7: 「もし仮にあの旬が隣り合わせるということはないとしたらその療育は語り尽くせないけどそれは外食する」ということは成り立つ fact8: 仮に「あの稲藁は会合する」ということは正しいならこの激動は恙無い fact9: もしもこのクラス規模が拾い始めるとしたらあの小鬼は誇らしくないか聞き返さない fact10: このクラス規模は拾い始めるがそれは資本関係でない fact11: 「あの稲藁は格好良くないしかつ起こり易くない」ということは事実だ fact12: もし仮にえげつないものがべた付き易くないならそれは会合する fact13: 仮にあの稲藁が格好良くなくてまた起こり易くないとすれば「この新入生父母代表はべた付き易くない」ということは成り立つ fact14: 仮にあの旬は語り尽くせるということはないならば「「その療育はえげつないがそれは会合しない」ということは成り立つ」ということは間違いである fact15: 何らかのものが外食しないとすればそれは語り尽くせないかまたはそれは恙無いということはないか両方ともである fact16: 「あの陸軍大将は隣り合わせるということはない」ということは嘘だということはない fact17: もし仮に「その療育は語り尽くせないが外食する」ということは正しいならこの新入生父母代表は語り尽くせない fact18: この新入生父母代表が会合するとすればそれは語り尽くせる ; $hypothesis$ = 「この激動はえげつないし更に恙無い」ということは間違っている ; $proof$ = 
fact13 & fact11 -> int1: この新入生父母代表はべた付き易くない; void -> assump1: 以下のように仮定する。この新入生父母代表はえげつない; int1 & assump1 -> int2: この新入生父母代表はえげつないがべた付き易くない; fact12 -> int3: もしもこの新入生父母代表はえげつない一方でべた付き易くないとしたら会合する; int2 & int3 -> int4: この新入生父母代表は会合する; int4 & fact18 -> int5: 「この新入生父母代表は語り尽くせる」ということは真実である; fact2 & fact7 -> int6: その療育は語り尽くせないがしかし外食する; int6 & fact17 -> int7: この新入生父母代表は語り尽くせない; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この新入生父母代表はえげつなくない; int9 & fact6 -> hypothesis; __PROVED__
事実1: もしこの激動はえげつなくないとしたら「この新入生父母代表はべた付き易くないが隣り合わせる」ということは成り立たない
事実2: 「あの旬は隣り合わせるということはない」ということは嘘だということはない
事実3: 「あの稲藁は起こり易くない」ということは成り立つ
事実4: もし仮に「この新入生父母代表はべた付き易くないが隣り合わせる」ということは成り立たないとするとあの稲藁は隣り合わせない
事実5: あるものは外食しないとすれば「それは恙無いかあるいは会合するかどちらもだ」ということは確かである
事実6: もし仮にこの新入生父母代表はえげつなくないとしたら「この激動はえげつなくておまけに恙無い」ということは誤っている
事実7: 「もし仮にあの旬が隣り合わせるということはないとしたらその療育は語り尽くせないけどそれは外食する」ということは成り立つ
事実8: 仮に「あの稲藁は会合する」ということは正しいならこの激動は恙無い
事実9: もしもこのクラス規模が拾い始めるとしたらあの小鬼は誇らしくないか聞き返さない
事実10: このクラス規模は拾い始めるがそれは資本関係でない
事実11: 「あの稲藁は格好良くないしかつ起こり易くない」ということは事実だ
事実12: もし仮にえげつないものがべた付き易くないならそれは会合する
事実13: 仮にあの稲藁が格好良くなくてまた起こり易くないとすれば「この新入生父母代表はべた付き易くない」ということは成り立つ
事実14: 仮にあの旬は語り尽くせるということはないならば「「その療育はえげつないがそれは会合しない」ということは成り立つ」ということは間違いである
事実15: 何らかのものが外食しないとすればそれは語り尽くせないかまたはそれは恙無いということはないか両方ともである
事実16: 「あの陸軍大将は隣り合わせるということはない」ということは嘘だということはない
事実17: もし仮に「その療育は語り尽くせないが外食する」ということは正しいならこの新入生父母代表は語り尽くせない
事実18: この新入生父母代表が会合するとすればそれは語り尽くせる

仮説: 「この激動はえげつないし更に恙無い」ということは間違っている
1. 事実13と事実11から、推論1: "この新入生父母代表はべた付き易くない"が導かれる
2. 仮定1: 以下のように仮定する。この新入生父母代表はえげつない
3. 推論1と仮定1から、推論2: "この新入生父母代表はえげつないがべた付き易くない"が導かれる
4. 事実12から、推論3: "もしもこの新入生父母代表はえげつない一方でべた付き易くないとしたら会合する"が導かれる
5. 推論2と推論3から、推論4: "この新入生父母代表は会合する"が導かれる
6. 推論4と事実18から、推論5: "「この新入生父母代表は語り尽くせる」ということは真実である"が導かれる
7. 事実2と事実7から、推論6: "その療育は語り尽くせないがしかし外食する"が導かれる
8. 推論6と事実17から、推論7: "この新入生父母代表は語り尽くせない"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この新入生父母代表はえげつなくない"が導かれる
11. 推論9と事実6から、仮説が導かれる

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