その四肢末端はリメイクするかまたはそれは危なくないかもしくは両方である
fact1: あの大麻抽出物は転写本であるならば「あの当該男児は実現化する」ということは誤っていない fact2: 「その四肢末端は実現化しなくて近付き易くない」ということは事実と異なるなら洗わない fact3: その四肢末端はリメイクするかあるいは危ない fact4: 「あの一塁手は僕達皆でないしそれは詳しくない」ということは成り立たない fact5: 「その四肢末端はぎょっとしないしそれは規律するということはない」ということは間違っている fact6: もし仮に「情報交換する」ものはあるとすれば「このネガ像は移民申請だしおまけに協力隊である」ということは誤っている fact7: 「その四肢末端はぎょっとする一方で規律しない」ということは成り立たない fact8: その四肢末端が偉才だということはないとするとリメイクするかまたはそれは危ないか両方ともである fact9: もし何かは実現化するなら「張り合わせる」ということは確かだ fact10: 仮に「その四肢末端は決算関係書類でないしそれは称えらない」ということは成り立たないならばリメイクしない fact11: 「その四肢末端はぎょっとしなくて規律しない」ということは嘘であるとしたら偉才でない fact12: もしその四肢末端が子供らしくないならばぎょっとするか決算関係書類でない fact13: 「情報交換する」ものはある fact14: 仮になにがしかのものが張り合わせるなら参陣する fact15: もし仮になんらかの物が偉才でないとすればリメイクするかあるいは危なくないか両方ともである fact16: もしその四肢末端がぎょっとすれば偉才でない fact17: その四肢末端は見付け易いかまたは臈たけらないかどちらもだ fact18: もし仮にあるものは移民申請でないならそれは転写本だしおまけにミック・ジャガーである fact19: もし仮になんらかのものが偉才でないとするとそれはリメイクするかそれは危ないかもしくはどちらもである fact20: もしこの主柱穴は危ないということはないとすると「それは薄明るいかもしくは性分らしくないか両方だ」ということは成り立つ fact21: もし仮にあの当該男児が参陣するとしたらこの制御性能は偉才だ fact22: 「「移民申請であるし協力隊だ」ということは事実と異なる」物があるとすればあの大麻抽出物は移民申請でない
fact11 & fact5 -> int1: その四肢末端は偉才でない; fact15 -> int2: もしその四肢末端が偉才でないならそれはリメイクするかもしくはそれは危ないということはないかもしくはどちらもだ; int1 & int2 -> hypothesis;
fact11 & fact5 -> int1: ¬{B}{a}; fact15 -> int2: ¬{B}{a} -> ({C}{a} v ¬{A}{a}); int1 & int2 -> hypothesis;
「その四肢末端はリメイクするか危なくないかあるいは両方だ」ということは間違っている
fact25 -> int3: あの当該男児が張り合わせるとすると参陣する; fact27 -> int4: もしもあの当該男児が実現化するとすればそれは張り合わせる; fact24 -> int5: もしもあの大麻抽出物は移民申請でないなら転写本だしミック・ジャガーである; fact29 & fact30 -> int6: 「このネガ像は移民申請だしかつ協力隊だ」ということは誤っている; int6 -> int7: 「「移民申請であるしまた協力隊だ」ということは成り立たない」物はある; int7 & fact28 -> int8: あの大麻抽出物は移民申請でない; int5 & int8 -> int9: あの大麻抽出物は転写本でおまけにミック・ジャガーだ; int9 -> int10: あの大麻抽出物は転写本だ; fact26 & int10 -> int11: あの当該男児は実現化する; int4 & int11 -> int12: あの当該男児は張り合わせる; int3 & int12 -> int13: あの当該男児は参陣する; fact23 & int13 -> int14: この制御性能は偉才である; int14 -> int15: 「偉才である」ものはある;
$facts$ = fact1: あの大麻抽出物は転写本であるならば「あの当該男児は実現化する」ということは誤っていない fact2: 「その四肢末端は実現化しなくて近付き易くない」ということは事実と異なるなら洗わない fact3: その四肢末端はリメイクするかあるいは危ない fact4: 「あの一塁手は僕達皆でないしそれは詳しくない」ということは成り立たない fact5: 「その四肢末端はぎょっとしないしそれは規律するということはない」ということは間違っている fact6: もし仮に「情報交換する」ものはあるとすれば「このネガ像は移民申請だしおまけに協力隊である」ということは誤っている fact7: 「その四肢末端はぎょっとする一方で規律しない」ということは成り立たない fact8: その四肢末端が偉才だということはないとするとリメイクするかまたはそれは危ないか両方ともである fact9: もし何かは実現化するなら「張り合わせる」ということは確かだ fact10: 仮に「その四肢末端は決算関係書類でないしそれは称えらない」ということは成り立たないならばリメイクしない fact11: 「その四肢末端はぎょっとしなくて規律しない」ということは嘘であるとしたら偉才でない fact12: もしその四肢末端が子供らしくないならばぎょっとするか決算関係書類でない fact13: 「情報交換する」ものはある fact14: 仮になにがしかのものが張り合わせるなら参陣する fact15: もし仮になんらかの物が偉才でないとすればリメイクするかあるいは危なくないか両方ともである fact16: もしその四肢末端がぎょっとすれば偉才でない fact17: その四肢末端は見付け易いかまたは臈たけらないかどちらもだ fact18: もし仮にあるものは移民申請でないならそれは転写本だしおまけにミック・ジャガーである fact19: もし仮になんらかのものが偉才でないとするとそれはリメイクするかそれは危ないかもしくはどちらもである fact20: もしこの主柱穴は危ないということはないとすると「それは薄明るいかもしくは性分らしくないか両方だ」ということは成り立つ fact21: もし仮にあの当該男児が参陣するとしたらこの制御性能は偉才だ fact22: 「「移民申請であるし協力隊だ」ということは事実と異なる」物があるとすればあの大麻抽出物は移民申請でない ; $hypothesis$ = その四肢末端はリメイクするかまたはそれは危なくないかもしくは両方である ; $proof$ = 
fact11 & fact5 -> int1: その四肢末端は偉才でない; fact15 -> int2: もしその四肢末端が偉才でないならそれはリメイクするかもしくはそれは危ないということはないかもしくはどちらもだ; int1 & int2 -> hypothesis; __PROVED__
事実1: あの大麻抽出物は転写本であるならば「あの当該男児は実現化する」ということは誤っていない
事実2: 「その四肢末端は実現化しなくて近付き易くない」ということは事実と異なるなら洗わない
事実3: その四肢末端はリメイクするかあるいは危ない
事実4: 「あの一塁手は僕達皆でないしそれは詳しくない」ということは成り立たない
事実5: 「その四肢末端はぎょっとしないしそれは規律するということはない」ということは間違っている
事実6: もし仮に「情報交換する」ものはあるとすれば「このネガ像は移民申請だしおまけに協力隊である」ということは誤っている
事実7: 「その四肢末端はぎょっとする一方で規律しない」ということは成り立たない
事実8: その四肢末端が偉才だということはないとするとリメイクするかまたはそれは危ないか両方ともである
事実9: もし何かは実現化するなら「張り合わせる」ということは確かだ
事実10: 仮に「その四肢末端は決算関係書類でないしそれは称えらない」ということは成り立たないならばリメイクしない
事実11: 「その四肢末端はぎょっとしなくて規律しない」ということは嘘であるとしたら偉才でない
事実12: もしその四肢末端が子供らしくないならばぎょっとするか決算関係書類でない
事実13: 「情報交換する」ものはある
事実14: 仮になにがしかのものが張り合わせるなら参陣する
事実15: もし仮になんらかの物が偉才でないとすればリメイクするかあるいは危なくないか両方ともである
事実16: もしその四肢末端がぎょっとすれば偉才でない
事実17: その四肢末端は見付け易いかまたは臈たけらないかどちらもだ
事実18: もし仮にあるものは移民申請でないならそれは転写本だしおまけにミック・ジャガーである
事実19: もし仮になんらかのものが偉才でないとするとそれはリメイクするかそれは危ないかもしくはどちらもである
事実20: もしこの主柱穴は危ないということはないとすると「それは薄明るいかもしくは性分らしくないか両方だ」ということは成り立つ
事実21: もし仮にあの当該男児が参陣するとしたらこの制御性能は偉才だ
事実22: 「「移民申請であるし協力隊だ」ということは事実と異なる」物があるとすればあの大麻抽出物は移民申請でない

仮説: その四肢末端はリメイクするかまたはそれは危なくないかもしくは両方である
1. 事実11と事実5から、推論1: "その四肢末端は偉才でない"が導かれる
2. 事実15から、推論2: "もしその四肢末端が偉才でないならそれはリメイクするかもしくはそれは危ないということはないかもしくはどちらもだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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