この交わりは囃し立てない
fact1: 仮になんらかのものが晴々しいがしかし固辞しないとすればあの飯は回覧するということはない fact2: とある物が回覧しないとするとそれは両性花であるということはないしその上程無い fact3: この多端は上り方でない fact4: もしも何かは囃し立てるということはないとすると「刃傷だということはないしさらに天地自然でない」ということは間違いである fact5: もしその代数が勤務するしそれに刃傷だとすればその飯は天地自然でない fact6: その代数は勤務しない fact7: もし仮にその代数が刃傷であるとすればこの交わりは囃し立てる fact8: その飯は刃傷であるしまた燃す fact9: 大人しものは晴々しいがしかし固辞しない fact10: その代数は勤務しない一方で切れ上がる fact11: その飯が天地自然でないが刃傷であるとするとこの交わりは囃し立てない fact12: もしその代数は勤務しない一方で切れ上がるとしたら「その飯は天地自然でない」ということは本当である fact13: 仮にその代数が刃傷であるならあの日本女性は首肯出来る fact14: もし仮に「何らかの物は拭き取らない」ということは嘘でないとすれば「限界費用であるということはないしそれはあざとくない」ということは事実でない fact15: もしその飯が両性花でないけれど程無いとしたらその代数は燃さない fact16: 仮に「「この多端はごっつい一方で腕捲りしない」ということは嘘である」ということは確かであるとすればそれは拭き取るということはない fact17: もしこの多端は上り方でないとしたら「それはごっついが腕捲りしない」ということは成り立たない fact18: もし仮にとあるものは天地自然でないならばそれは刃傷であるかもしくは囃し立てるかもしくは両方ともだ fact19: なんらかの物が燃さないとしたら天地自然でない fact20: もし仮に「その代数は刃傷でなくてそれは天地自然でない」ということは成り立たないなら刃傷だ fact21: もし「この多端は限界費用でないししかもあざといということはない」ということは成り立たないとするとこの冬季オープン・カレッジは大人し
fact12 & fact10 -> int1: その飯は天地自然でない; fact8 -> int2: 「その飯は刃傷である」ということは真実である; int1 & int2 -> int3: その飯は天地自然でないがしかし刃傷である; int3 & fact11 -> hypothesis;
fact12 & fact10 -> int1: ¬{B}{b}; fact8 -> int2: {A}{b}; int1 & int2 -> int3: (¬{B}{b} & {A}{b}); int3 & fact11 -> hypothesis;
「この交わりは囃し立てる」ということは本当だ
fact27 -> int4: もし仮にその代数は天地自然でないならばそれは刃傷であるか囃し立てる; fact29 -> int5: 仮にその代数が燃さないとするとそれは天地自然でない; fact33 -> int6: もし仮にその飯が回覧しないとしたら両性花でないがしかし程無い; fact26 -> int7: もしも「この冬季オープン・カレッジは大人し」ということは真実だとすればそれは晴々しいし固辞しない; fact25 -> int8: もしこの多端は拭き取るということはないとすると「それは限界費用でないしその上それはあざとくない」ということは成り立たない; fact24 & fact32 -> int9: 「この多端はごっつい一方で腕捲りしない」ということは成り立たない; fact22 & int9 -> int10: この多端は拭き取らない; int8 & int10 -> int11: 「この多端は限界費用でないしさらにあざとくない」ということは嘘だ; fact23 & int11 -> int12: この冬季オープン・カレッジは大人し; int7 & int12 -> int13: この冬季オープン・カレッジは晴々しいけれどそれは固辞しない; int13 -> int14: 「晴々しいし更に固辞するということはない」ものはある; int14 & fact31 -> int15: その飯は回覧するということはない; int6 & int15 -> int16: その飯は両性花だということはないけれどそれは程無い; fact30 & int16 -> int17: その代数は燃さない; int5 & int17 -> int18: その代数は天地自然でない; int4 & int18 -> int19: その代数は刃傷であるかまたは囃し立てるかまたは両方である;
$facts$ = fact1: 仮になんらかのものが晴々しいがしかし固辞しないとすればあの飯は回覧するということはない fact2: とある物が回覧しないとするとそれは両性花であるということはないしその上程無い fact3: この多端は上り方でない fact4: もしも何かは囃し立てるということはないとすると「刃傷だということはないしさらに天地自然でない」ということは間違いである fact5: もしその代数が勤務するしそれに刃傷だとすればその飯は天地自然でない fact6: その代数は勤務しない fact7: もし仮にその代数が刃傷であるとすればこの交わりは囃し立てる fact8: その飯は刃傷であるしまた燃す fact9: 大人しものは晴々しいがしかし固辞しない fact10: その代数は勤務しない一方で切れ上がる fact11: その飯が天地自然でないが刃傷であるとするとこの交わりは囃し立てない fact12: もしその代数は勤務しない一方で切れ上がるとしたら「その飯は天地自然でない」ということは本当である fact13: 仮にその代数が刃傷であるならあの日本女性は首肯出来る fact14: もし仮に「何らかの物は拭き取らない」ということは嘘でないとすれば「限界費用であるということはないしそれはあざとくない」ということは事実でない fact15: もしその飯が両性花でないけれど程無いとしたらその代数は燃さない fact16: 仮に「「この多端はごっつい一方で腕捲りしない」ということは嘘である」ということは確かであるとすればそれは拭き取るということはない fact17: もしこの多端は上り方でないとしたら「それはごっついが腕捲りしない」ということは成り立たない fact18: もし仮にとあるものは天地自然でないならばそれは刃傷であるかもしくは囃し立てるかもしくは両方ともだ fact19: なんらかの物が燃さないとしたら天地自然でない fact20: もし仮に「その代数は刃傷でなくてそれは天地自然でない」ということは成り立たないなら刃傷だ fact21: もし「この多端は限界費用でないししかもあざといということはない」ということは成り立たないとするとこの冬季オープン・カレッジは大人し ; $hypothesis$ = この交わりは囃し立てない ; $proof$ = 
fact12 & fact10 -> int1: その飯は天地自然でない; fact8 -> int2: 「その飯は刃傷である」ということは真実である; int1 & int2 -> int3: その飯は天地自然でないがしかし刃傷である; int3 & fact11 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが晴々しいがしかし固辞しないとすればあの飯は回覧するということはない
事実2: とある物が回覧しないとするとそれは両性花であるということはないしその上程無い
事実3: この多端は上り方でない
事実4: もしも何かは囃し立てるということはないとすると「刃傷だということはないしさらに天地自然でない」ということは間違いである
事実5: もしその代数が勤務するしそれに刃傷だとすればその飯は天地自然でない
事実6: その代数は勤務しない
事実7: もし仮にその代数が刃傷であるとすればこの交わりは囃し立てる
事実8: その飯は刃傷であるしまた燃す
事実9: 大人しものは晴々しいがしかし固辞しない
事実10: その代数は勤務しない一方で切れ上がる
事実11: その飯が天地自然でないが刃傷であるとするとこの交わりは囃し立てない
事実12: もしその代数は勤務しない一方で切れ上がるとしたら「その飯は天地自然でない」ということは本当である
事実13: 仮にその代数が刃傷であるならあの日本女性は首肯出来る
事実14: もし仮に「何らかの物は拭き取らない」ということは嘘でないとすれば「限界費用であるということはないしそれはあざとくない」ということは事実でない
事実15: もしその飯が両性花でないけれど程無いとしたらその代数は燃さない
事実16: 仮に「「この多端はごっつい一方で腕捲りしない」ということは嘘である」ということは確かであるとすればそれは拭き取るということはない
事実17: もしこの多端は上り方でないとしたら「それはごっついが腕捲りしない」ということは成り立たない
事実18: もし仮にとあるものは天地自然でないならばそれは刃傷であるかもしくは囃し立てるかもしくは両方ともだ
事実19: なんらかの物が燃さないとしたら天地自然でない
事実20: もし仮に「その代数は刃傷でなくてそれは天地自然でない」ということは成り立たないなら刃傷だ
事実21: もし「この多端は限界費用でないししかもあざといということはない」ということは成り立たないとするとこの冬季オープン・カレッジは大人し

仮説: この交わりは囃し立てない
1. 事実12と事実10から、推論1: "その飯は天地自然でない"が導かれる
2. 事実8から、推論2: "「その飯は刃傷である」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "その飯は天地自然でないがしかし刃傷である"が導かれる
4. 推論3と事実11から、仮説が導かれる

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