この燃料電池車は呆気ない
fact1: もしある物は確認し易いとしたら「予測し易くてそれは型用溶かしバターでない」ということは成り立つということはない fact2: その終末論は型用溶かしバターであるし予測し易い fact3: もしも「何らかの物は世知だけれど確認し易くない」ということは誤っているとしたらそれは確認し易い fact4: もしもその終末論が型用溶かしバターだとすればこの燃料電池車は型用溶かしバターでないかまたは確認し易くないかどちらもだ fact5: もしもその終末論が型用溶かしバターであるならこの燃料電池車は型用溶かしバターでないかもしくはそれは確認し易いかまたはどちらもだ fact6: もしなんらかのものは型用溶かしバターでないかもしくは予測し易くないかあるいは両方ともだとしたら「それは確認し易くない」ということは事実である fact7: もしもあるものが型用溶かしバターでないかあるいは確認し易くないか両方ともだとしたら習い始めない fact8: この朝日岳は呆気ないとすれば「その終末論は世知であるがそれは確認し易くない」ということは事実と異なる fact9: もしなにかは習い始めないとしたらそれは呆気なくない
fact2 -> int1: その終末論は型用溶かしバターである; int1 & fact4 -> int2: この燃料電池車は型用溶かしバターでないかあるいは確認し易いということはないか両方ともである; fact7 -> int3: もしこの燃料電池車は型用溶かしバターであるということはないかまたは確認し易くないかあるいは両方ともだとすればそれは習い始めない; int2 & int3 -> int4: この燃料電池車は習い始めない; fact9 -> int5: 仮に「この燃料電池車は習い始めない」ということは事実だとすると呆気ないということはない; int4 & int5 -> hypothesis;
この燃料電池車は総生産物だということはないかまたは習い始めないか両方ともだ
fact11 -> int6: その終末論は確認し易いとしたら「予測し易いがしかし型用溶かしバターでない」ということは嘘だ; fact10 -> int7: もしも「その終末論は世知だがしかし確認し易くない」ということは嘘であるならば「それは確認し易い」ということは正しい;
$facts$ = fact1: もしある物は確認し易いとしたら「予測し易くてそれは型用溶かしバターでない」ということは成り立つということはない fact2: その終末論は型用溶かしバターであるし予測し易い fact3: もしも「何らかの物は世知だけれど確認し易くない」ということは誤っているとしたらそれは確認し易い fact4: もしもその終末論が型用溶かしバターだとすればこの燃料電池車は型用溶かしバターでないかまたは確認し易くないかどちらもだ fact5: もしもその終末論が型用溶かしバターであるならこの燃料電池車は型用溶かしバターでないかもしくはそれは確認し易いかまたはどちらもだ fact6: もしなんらかのものは型用溶かしバターでないかもしくは予測し易くないかあるいは両方ともだとしたら「それは確認し易くない」ということは事実である fact7: もしもあるものが型用溶かしバターでないかあるいは確認し易くないか両方ともだとしたら習い始めない fact8: この朝日岳は呆気ないとすれば「その終末論は世知であるがそれは確認し易くない」ということは事実と異なる fact9: もしなにかは習い始めないとしたらそれは呆気なくない ; $hypothesis$ = この燃料電池車は呆気ない ; $proof$ = 
fact2 -> int1: その終末論は型用溶かしバターである; int1 & fact4 -> int2: この燃料電池車は型用溶かしバターでないかあるいは確認し易いということはないか両方ともである; fact7 -> int3: もしこの燃料電池車は型用溶かしバターであるということはないかまたは確認し易くないかあるいは両方ともだとすればそれは習い始めない; int2 & int3 -> int4: この燃料電池車は習い始めない; fact9 -> int5: 仮に「この燃料電池車は習い始めない」ということは事実だとすると呆気ないということはない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしある物は確認し易いとしたら「予測し易くてそれは型用溶かしバターでない」ということは成り立つということはない
事実2: その終末論は型用溶かしバターであるし予測し易い
事実3: もしも「何らかの物は世知だけれど確認し易くない」ということは誤っているとしたらそれは確認し易い
事実4: もしもその終末論が型用溶かしバターだとすればこの燃料電池車は型用溶かしバターでないかまたは確認し易くないかどちらもだ
事実5: もしもその終末論が型用溶かしバターであるならこの燃料電池車は型用溶かしバターでないかもしくはそれは確認し易いかまたはどちらもだ
事実6: もしなんらかのものは型用溶かしバターでないかもしくは予測し易くないかあるいは両方ともだとしたら「それは確認し易くない」ということは事実である
事実7: もしもあるものが型用溶かしバターでないかあるいは確認し易くないか両方ともだとしたら習い始めない
事実8: この朝日岳は呆気ないとすれば「その終末論は世知であるがそれは確認し易くない」ということは事実と異なる
事実9: もしなにかは習い始めないとしたらそれは呆気なくない

仮説: この燃料電池車は呆気ない
1. 事実2から、推論1: "その終末論は型用溶かしバターである"が導かれる
2. 推論1と事実4から、推論2: "この燃料電池車は型用溶かしバターでないかあるいは確認し易いということはないか両方ともである"が導かれる
3. 事実7から、推論3: "もしこの燃料電池車は型用溶かしバターであるということはないかまたは確認し易くないかあるいは両方ともだとすればそれは習い始めない"が導かれる
4. 推論2と推論3から、推論4: "この燃料電池車は習い始めない"が導かれる
5. 事実9から、推論5: "仮に「この燃料電池車は習い始めない」ということは事実だとすると呆気ないということはない"が導かれる
6. 推論4と推論5から、仮説が否定される

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