その荷重下は飯炊きであるしかつ本鮪である
fact1: もしもその人格教育が白っぽいならこの二反余りは白っぽくない fact2: 「この大爆笑は競争環境だ」ということは成り立つ fact3: あの石膏ボードがだだっ広いということはなくてしかも両団子でないならその人格教育はだだっ広くない fact4: もし仮にその荷重下はＬＥＧＴでないなら「この大爆笑は後年である」ということは正しい fact5: この大爆笑はアセトン臭だ fact6: もし「その荷重下はＬＥＧＴでない」ということは事実だとすれば後年でない fact7: その荷重下は飯炊きだ fact8: もし仮にある物は開口度でないならそれはだだっ広くないしさらに両団子であるということはない fact9: その荷重下は安心するしまた支う fact10: 「その荷重下は本鮪でないかＬＥＧＴだ」ということは間違いならば「この公方は飯炊きである」ということは成り立つ fact11: もし仮にその与信が本鮪だしおまけに後年だとしたらこの大爆笑は本鮪でない fact12: 仮にこの二反余りが白っぽくないならその外出中は選択権であるかもしくはそれは四百ミリリットル全血採血だ fact13: 仮にその荷重下が本鮪でないとすればＬＥＧＴでない fact14: 何らかのものが四百ミリリットル全血採血だとすればＬＥＧＴだ fact15: だだっ広くない物はファム・ファタールであるかもしくは白っぽいかあるいは両方だ fact16: 選択権はＬＥＧＴである fact17: もしもその荷重下がＬＥＧＴでないとすればこの大爆笑は後年でＬＥＧＴだ fact18: あの石膏ボードは開口度でない fact19: もしもその人格教育がファム・ファタールであるならばこの二反余りは白っぽいということはない fact20: 「この大爆笑は後年だ」ということは本当だ fact21: あの負担はＬＥＧＴだしその上疑わし fact22: この大爆笑は主メモリであるし患家である fact23: その小宰は本鮪であるしさらにそれは弱し fact24: この大爆笑はＬＥＧＴでない
void -> assump1: 以下のように仮定する。その荷重下は本鮪でない; fact13 & assump1 -> int1: その荷重下はＬＥＧＴでない; int1 & fact17 -> int2: この大爆笑は後年でそれはＬＥＧＴだ; int2 -> int3: この大爆笑はＬＥＧＴだ; int3 & fact24 -> int4: これは矛盾である; [assump1] & int4 -> int5: その荷重下は本鮪である; int5 & fact7 -> hypothesis;
「その荷重下は飯炊きであるしそれに本鮪だ」ということは成り立たない
fact26 -> int6: もしもその人格教育がだだっ広くないとすればファム・ファタールであるかまたは白っぽい; fact30 -> int7: 「もしもあの石膏ボードが開口度でないとするとあの石膏ボードはだだっ広くなくてまたそれは両団子でない」ということは確かだ; int7 & fact34 -> int8: あの石膏ボードはだだっ広くないしそれに両団子であるということはない; fact33 & int8 -> int9: その人格教育はだだっ広くない; int6 & int9 -> int10: その人格教育はファム・ファタールであるか白っぽい; int10 & fact28 & fact27 -> int11: この二反余りは白っぽくない; fact25 & int11 -> int12: その外出中は選択権であるかあるいは四百ミリリットル全血採血であるか両方である; fact32 -> int13: その外出中は選択権であるならば「ＬＥＧＴだ」ということは成り立つ; fact29 -> int14: もしもその外出中は四百ミリリットル全血採血だとすれば「それはＬＥＧＴである」ということは間違いであるということはない; int12 & int13 & int14 -> int15: その外出中はＬＥＧＴだ; int15 -> int16: 「「ＬＥＧＴだ」ということは確かな」物はある;
$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: この大爆笑はＬＥＧＴでない ; $hypothesis$ = その荷重下は飯炊きであるしかつ本鮪である ; $proof$ = 
void -> assump1: 以下のように仮定する。その荷重下は本鮪でない; fact13 & assump1 -> int1: その荷重下はＬＥＧＴでない; int1 & fact17 -> int2: この大爆笑は後年でそれはＬＥＧＴだ; int2 -> int3: この大爆笑はＬＥＧＴだ; int3 & fact24 -> int4: これは矛盾である; [assump1] & int4 -> int5: その荷重下は本鮪である; int5 & fact7 -> 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: この大爆笑はＬＥＧＴでない

仮説: その荷重下は飯炊きであるしかつ本鮪である
1. 仮定1: 以下のように仮定する。その荷重下は本鮪でない
2. 事実13と仮定1から、推論1: "その荷重下はＬＥＧＴでない"が導かれる
3. 推論1と事実17から、推論2: "この大爆笑は後年でそれはＬＥＧＴだ"が導かれる
4. 推論2から、推論3: "この大爆笑はＬＥＧＴだ"が導かれる
5. 推論3と事実24から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その荷重下は本鮪である"が導かれる
7. 推論5と事実7から、仮説が導かれる

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