あのマガジン・ウォールは滞り易いということはない
fact1: この推進薬は滞り易い fact2: もしこの祝い金がすっごーくないとすれば眺め入るしおまけにそれは潜在的能力でない fact3: もしもあのマガジン・ウォールがプレハブ小屋だとすると滞り易い fact4: 仮にこの帆はプレハブ小屋であるならば「この祝い金は眺め入るがしかし潜在的能力でない」ということは誤っている fact5: あのマガジン・ウォールは八玉神である fact6: 「もし仮にこの帆が折り入らないとしたらこの推進薬は新しい」ということは誤りであるということはない fact7: この祝い金はすっごーくない fact8: もし仮にこの推進薬が折り入るということはないかもしくはプレハブ小屋でないかもしくは両方であるとすればこの帆は新しい fact9: もしこの推進薬が新しいしおまけに爆装であるとするとあのマガジン・ウォールは滞り易くない fact10: この帆がプレハブ小屋であるかまたは折り入らないとするとあのマガジン・ウォールはプレハブ小屋である fact11: もしこの帆が八玉神でないかまたはそれが折り入るということはないかあるいは両方であるならこの推進薬は新しい fact12: もしも八玉神はプレハブ小屋でないなら好ましということはない fact13: もしこの帆はプレハブ小屋でないならばそれは八玉神でない fact14: この推進薬は爆装でおまけに好まし fact15: 「この祝い金は眺め入るしそれは潜在的能力だ」ということは成り立たない
void -> assump1: 以下のように仮定する。この帆はプレハブ小屋である; fact4 & assump1 -> int1: 「この祝い金は眺め入るが潜在的能力だということはない」ということは偽である; fact2 & fact7 -> int2: この祝い金は眺め入る一方で潜在的能力でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この帆はプレハブ小屋でない; int4 & fact13 -> int5: この帆は八玉神だということはない; int5 -> int6: この帆は八玉神でないかあるいは折り入らない; int6 & fact11 -> int7: 「この推進薬は新しい」ということは成り立つ; fact14 -> int8: 「この推進薬は爆装である」ということは事実だ; int7 & int8 -> int9: この推進薬は新しいしその上爆装だ; int9 & fact9 -> hypothesis;
あのマガジン・ウォールは滞り易い
$facts$ = fact1: この推進薬は滞り易い fact2: もしこの祝い金がすっごーくないとすれば眺め入るしおまけにそれは潜在的能力でない fact3: もしもあのマガジン・ウォールがプレハブ小屋だとすると滞り易い fact4: 仮にこの帆はプレハブ小屋であるならば「この祝い金は眺め入るがしかし潜在的能力でない」ということは誤っている fact5: あのマガジン・ウォールは八玉神である fact6: 「もし仮にこの帆が折り入らないとしたらこの推進薬は新しい」ということは誤りであるということはない fact7: この祝い金はすっごーくない fact8: もし仮にこの推進薬が折り入るということはないかもしくはプレハブ小屋でないかもしくは両方であるとすればこの帆は新しい fact9: もしこの推進薬が新しいしおまけに爆装であるとするとあのマガジン・ウォールは滞り易くない fact10: この帆がプレハブ小屋であるかまたは折り入らないとするとあのマガジン・ウォールはプレハブ小屋である fact11: もしこの帆が八玉神でないかまたはそれが折り入るということはないかあるいは両方であるならこの推進薬は新しい fact12: もしも八玉神はプレハブ小屋でないなら好ましということはない fact13: もしこの帆はプレハブ小屋でないならばそれは八玉神でない fact14: この推進薬は爆装でおまけに好まし fact15: 「この祝い金は眺め入るしそれは潜在的能力だ」ということは成り立たない ; $hypothesis$ = あのマガジン・ウォールは滞り易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この帆はプレハブ小屋である; fact4 & assump1 -> int1: 「この祝い金は眺め入るが潜在的能力だということはない」ということは偽である; fact2 & fact7 -> int2: この祝い金は眺め入る一方で潜在的能力でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この帆はプレハブ小屋でない; int4 & fact13 -> int5: この帆は八玉神だということはない; int5 -> int6: この帆は八玉神でないかあるいは折り入らない; int6 & fact11 -> int7: 「この推進薬は新しい」ということは成り立つ; fact14 -> int8: 「この推進薬は爆装である」ということは事実だ; int7 & int8 -> int9: この推進薬は新しいしその上爆装だ; int9 & fact9 -> hypothesis; __PROVED__
事実1: この推進薬は滞り易い
事実2: もしこの祝い金がすっごーくないとすれば眺め入るしおまけにそれは潜在的能力でない
事実3: もしもあのマガジン・ウォールがプレハブ小屋だとすると滞り易い
事実4: 仮にこの帆はプレハブ小屋であるならば「この祝い金は眺め入るがしかし潜在的能力でない」ということは誤っている
事実5: あのマガジン・ウォールは八玉神である
事実6: 「もし仮にこの帆が折り入らないとしたらこの推進薬は新しい」ということは誤りであるということはない
事実7: この祝い金はすっごーくない
事実8: もし仮にこの推進薬が折り入るということはないかもしくはプレハブ小屋でないかもしくは両方であるとすればこの帆は新しい
事実9: もしこの推進薬が新しいしおまけに爆装であるとするとあのマガジン・ウォールは滞り易くない
事実10: この帆がプレハブ小屋であるかまたは折り入らないとするとあのマガジン・ウォールはプレハブ小屋である
事実11: もしこの帆が八玉神でないかまたはそれが折り入るということはないかあるいは両方であるならこの推進薬は新しい
事実12: もしも八玉神はプレハブ小屋でないなら好ましということはない
事実13: もしこの帆はプレハブ小屋でないならばそれは八玉神でない
事実14: この推進薬は爆装でおまけに好まし
事実15: 「この祝い金は眺め入るしそれは潜在的能力だ」ということは成り立たない

仮説: あのマガジン・ウォールは滞り易いということはない
1. 仮定1: 以下のように仮定する。この帆はプレハブ小屋である
2. 事実4と仮定1から、推論1: "「この祝い金は眺め入るが潜在的能力だということはない」ということは偽である"が導かれる
3. 事実2と事実7から、推論2: "この祝い金は眺め入る一方で潜在的能力でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この帆はプレハブ小屋でない"が導かれる
6. 推論4と事実13から、推論5: "この帆は八玉神だということはない"が導かれる
7. 推論5から、推論6: "この帆は八玉神でないかあるいは折り入らない"が導かれる
8. 推論6と事実11から、推論7: "「この推進薬は新しい」ということは成り立つ"が導かれる
9. 事実14から、推論8: "「この推進薬は爆装である」ということは事実だ"が導かれる
10. 推論7と推論8から、推論9: "この推進薬は新しいしその上爆装だ"が導かれる
11. 推論9と事実9から、仮説が導かれる

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