もしも「この妻達は剥がれ落ちる」ということは成り立つならその盛況は毒殺する
fact1: この滑り止めは伝えだ fact2: この滑り止めはＭモード図である fact3: この滑り止めは熱し易くないなら「勉強するかまたは直り難くないかあるいは両方ともだ」ということは偽である fact4: もし仮に「なんらかのものは勉強するか直り難くないか両方だ」ということは嘘ならばそれは毒殺する fact5: もしもその盛況が剥がれ落ちるとすればあの妻達は毒殺する fact6: ボーキサイトは剥がれ落ちる fact7: その盛況は読み辛い fact8: もし仮に「この妻達は生え易い」ということは真実だとするとその盛況は毒殺する fact9: もしなんらかのものがボーキサイトであるしそれが由々しとすればその盛況は剥がれ落ちる fact10: この妻達は長し fact11: もしもなにかはボーキサイトだとすれば由々し fact12: その盛況は生え易い fact13: この妻達が剥がれ落ちればそれはボーキサイトである fact14: もしその盛況が毒殺すればボーキサイトである fact15: この滑り止めは伝えであるしそれにＭモード図であるならそれは熱し易くない fact16: その盛況は剥がれ落ちる fact17: 仮にあるものが生え易いとするとそれは剥がれ落ちる fact18: もし何かは由々しならそれは生え易い
void -> assump1: 以下のように仮定する。「この妻達は剥がれ落ちる」ということは偽でない; fact13 & assump1 -> int1: この妻達はボーキサイトだ; fact11 -> int2: 仮にこの妻達がボーキサイトだとするとそれは由々し; int1 & int2 -> int3: 「この妻達は由々し」ということは事実だ; fact18 -> int4: もしこの妻達が由々しならばそれは生え易い; int3 & int4 -> int5: この妻達は生え易い; int5 & fact8 -> int6: 「その盛況は毒殺する」ということは確かである; [assump1] & int6 -> hypothesis;
その盛況は生え易い
fact24 -> int7: もしも「この滑り止めは勉強するかまたはそれは直り難くないかもしくは両方だ」ということは成り立たないとすると「毒殺する」ということは本当だ; fact21 & fact20 -> int8: この滑り止めは伝えでまたＭモード図である; fact19 & int8 -> int9: この滑り止めは熱し易くない; fact23 & int9 -> int10: 「この滑り止めは勉強するかもしくは直り難くないかあるいはどちらもである」ということは成り立たない; int7 & int10 -> int11: この滑り止めは毒殺する; int11 -> int12: ある物は毒殺する;
$facts$ = fact1: この滑り止めは伝えだ fact2: この滑り止めはＭモード図である fact3: この滑り止めは熱し易くないなら「勉強するかまたは直り難くないかあるいは両方ともだ」ということは偽である fact4: もし仮に「なんらかのものは勉強するか直り難くないか両方だ」ということは嘘ならばそれは毒殺する fact5: もしもその盛況が剥がれ落ちるとすればあの妻達は毒殺する fact6: ボーキサイトは剥がれ落ちる fact7: その盛況は読み辛い fact8: もし仮に「この妻達は生え易い」ということは真実だとするとその盛況は毒殺する fact9: もしなんらかのものがボーキサイトであるしそれが由々しとすればその盛況は剥がれ落ちる fact10: この妻達は長し fact11: もしもなにかはボーキサイトだとすれば由々し fact12: その盛況は生え易い fact13: この妻達が剥がれ落ちればそれはボーキサイトである fact14: もしその盛況が毒殺すればボーキサイトである fact15: この滑り止めは伝えであるしそれにＭモード図であるならそれは熱し易くない fact16: その盛況は剥がれ落ちる fact17: 仮にあるものが生え易いとするとそれは剥がれ落ちる fact18: もし何かは由々しならそれは生え易い ; $hypothesis$ = もしも「この妻達は剥がれ落ちる」ということは成り立つならその盛況は毒殺する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この妻達は剥がれ落ちる」ということは偽でない; fact13 & assump1 -> int1: この妻達はボーキサイトだ; fact11 -> int2: 仮にこの妻達がボーキサイトだとするとそれは由々し; int1 & int2 -> int3: 「この妻達は由々し」ということは事実だ; fact18 -> int4: もしこの妻達が由々しならばそれは生え易い; int3 & int4 -> int5: この妻達は生え易い; int5 & fact8 -> int6: 「その盛況は毒殺する」ということは確かである; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この滑り止めは伝えだ
事実2: この滑り止めはＭモード図である
事実3: この滑り止めは熱し易くないなら「勉強するかまたは直り難くないかあるいは両方ともだ」ということは偽である
事実4: もし仮に「なんらかのものは勉強するか直り難くないか両方だ」ということは嘘ならばそれは毒殺する
事実5: もしもその盛況が剥がれ落ちるとすればあの妻達は毒殺する
事実6: ボーキサイトは剥がれ落ちる
事実7: その盛況は読み辛い
事実8: もし仮に「この妻達は生え易い」ということは真実だとするとその盛況は毒殺する
事実9: もしなんらかのものがボーキサイトであるしそれが由々しとすればその盛況は剥がれ落ちる
事実10: この妻達は長し
事実11: もしもなにかはボーキサイトだとすれば由々し
事実12: その盛況は生え易い
事実13: この妻達が剥がれ落ちればそれはボーキサイトである
事実14: もしその盛況が毒殺すればボーキサイトである
事実15: この滑り止めは伝えであるしそれにＭモード図であるならそれは熱し易くない
事実16: その盛況は剥がれ落ちる
事実17: 仮にあるものが生え易いとするとそれは剥がれ落ちる
事実18: もし何かは由々しならそれは生え易い

仮説: もしも「この妻達は剥がれ落ちる」ということは成り立つならその盛況は毒殺する
1. 仮定1: 以下のように仮定する。「この妻達は剥がれ落ちる」ということは偽でない
2. 事実13と仮定1から、推論1: "この妻達はボーキサイトだ"が導かれる
3. 事実11から、推論2: "仮にこの妻達がボーキサイトだとするとそれは由々し"が導かれる
4. 推論1と推論2から、推論3: "「この妻達は由々し」ということは事実だ"が導かれる
5. 事実18から、推論4: "もしこの妻達が由々しならばそれは生え易い"が導かれる
6. 推論3と推論4から、推論5: "この妻達は生え易い"が導かれる
7. 推論5と事実8から、推論6: "「その盛況は毒殺する」ということは確かである"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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