「その炭化層はすりゃ良くないし家庭科教育であるということはない」ということは成り立たない
fact1: 「その炭化層はすりゃ良くない」ということは真実だ fact2: 仮にこの先延ばしが焦がれるならそれは高級将校である fact3: この先延ばしが子孫繁栄だしそれは話し辛い fact4: 仮にこの先延ばしは子孫繁栄であるとしたら「それは焦がれる」ということは成り立つ fact5: もし仮に「とあるものは子孫繁栄だ」ということは正しいとすれば「それはすりゃ良くないしそれに家庭科教育でない」ということは誤りだ fact6: もし仮にこの先延ばしは高級将校だとすると「その炭化層は他愛無い」ということは成り立つ fact7: この先延ばしは話し辛い fact8: もしその炭化層が他愛無いならすりゃ良くないし家庭科教育だということはない
fact3 -> int1: 「この先延ばしは子孫繁栄だ」ということは成り立つ; int1 & fact4 -> int2: この先延ばしは焦がれる; int2 & fact2 -> int3: この先延ばしは高級将校だ; int3 & fact6 -> int4: その炭化層は他愛無い; int4 & fact8 -> hypothesis;
「その炭化層はすりゃ良くないしおまけに家庭科教育でない」ということは本当でない
fact9 -> int5: もし仮にその炭化層は子孫繁栄だとすると「「すりゃ良くないし家庭科教育であるということはない」ということは事実だ」ということは嘘である;
$facts$ = fact1: 「その炭化層はすりゃ良くない」ということは真実だ fact2: 仮にこの先延ばしが焦がれるならそれは高級将校である fact3: この先延ばしが子孫繁栄だしそれは話し辛い fact4: 仮にこの先延ばしは子孫繁栄であるとしたら「それは焦がれる」ということは成り立つ fact5: もし仮に「とあるものは子孫繁栄だ」ということは正しいとすれば「それはすりゃ良くないしそれに家庭科教育でない」ということは誤りだ fact6: もし仮にこの先延ばしは高級将校だとすると「その炭化層は他愛無い」ということは成り立つ fact7: この先延ばしは話し辛い fact8: もしその炭化層が他愛無いならすりゃ良くないし家庭科教育だということはない ; $hypothesis$ = 「その炭化層はすりゃ良くないし家庭科教育であるということはない」ということは成り立たない ; $proof$ = 
fact3 -> int1: 「この先延ばしは子孫繁栄だ」ということは成り立つ; int1 & fact4 -> int2: この先延ばしは焦がれる; int2 & fact2 -> int3: この先延ばしは高級将校だ; int3 & fact6 -> int4: その炭化層は他愛無い; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: 「その炭化層はすりゃ良くない」ということは真実だ
事実2: 仮にこの先延ばしが焦がれるならそれは高級将校である
事実3: この先延ばしが子孫繁栄だしそれは話し辛い
事実4: 仮にこの先延ばしは子孫繁栄であるとしたら「それは焦がれる」ということは成り立つ
事実5: もし仮に「とあるものは子孫繁栄だ」ということは正しいとすれば「それはすりゃ良くないしそれに家庭科教育でない」ということは誤りだ
事実6: もし仮にこの先延ばしは高級将校だとすると「その炭化層は他愛無い」ということは成り立つ
事実7: この先延ばしは話し辛い
事実8: もしその炭化層が他愛無いならすりゃ良くないし家庭科教育だということはない

仮説: 「その炭化層はすりゃ良くないし家庭科教育であるということはない」ということは成り立たない
1. 事実3から、推論1: "「この先延ばしは子孫繁栄だ」ということは成り立つ"が導かれる
2. 推論1と事実4から、推論2: "この先延ばしは焦がれる"が導かれる
3. 推論2と事実2から、推論3: "この先延ばしは高級将校だ"が導かれる
4. 推論3と事実6から、推論4: "その炭化層は他愛無い"が導かれる
5. 推論4と事実8から、仮説が否定される

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