その遺伝子型は丸太作りであるかそれは混ぜ合わせる
fact1: もし何かは楽しみでないとするとそれは丸太作りであるかまたは混ぜ合わせるかあるいはどちらもである fact2: あの長岡新京は個物であるかあるいはそれは消火する fact3: もしこのエグジットステートメントが奥床しくないとすると欠場であるかあるいはそれは宮廷銀器でない fact4: 「暗し」ものはある fact5: もし仮に「なんらかの物は預金する一方で一ＬＤＫでない」ということは事実ならば「このエグジットステートメントは丸太作りである」ということは成り立たない fact6: 「暗ししそれに個物である」ものはある fact7: もし「丸太作りであるしまた振り解くということはない」物はあるとすれば「その遺伝子型はビル内であるということはない」ということは正しい fact8: 「何らかの物は暗しけど個物でない」ということは本当である fact9: もし仮にその遺伝子型が攻め倦まないとすると丸太作りであるかまたはクルスであるかもしくはどちらもだ fact10: もし暗しものが指圧しないとすればあの公営は審理しない fact11: 何らかの物は個物でない fact12: このエグジットステートメントは奥床しくない fact13: もしその将来情報が個物でないけれど楽しみだとしたらその身体状況は楽しみでない fact14: 仮になんらかの物が暗しが個物でないとすればその遺伝子型は楽しみでない
fact1 -> int1: その遺伝子型が楽しみでないとすると丸太作りであるかあるいは混ぜ合わせるかまたは両方ともである; fact14 & fact8 -> int2: その遺伝子型は楽しみでない; int1 & int2 -> hypothesis;
「その遺伝子型は丸太作りであるかもしくはそれは混ぜ合わせるかあるいは両方ともである」ということは成り立つということはない
fact16 & fact15 -> int3: このエグジットステートメントは欠場であるかあるいは宮廷銀器でない; int3 -> int4: 「何らかの物は欠場であるかもしくは宮廷銀器であるということはないかもしくは両方ともである」ということは真実である;
$facts$ = fact1: もし何かは楽しみでないとするとそれは丸太作りであるかまたは混ぜ合わせるかあるいはどちらもである fact2: あの長岡新京は個物であるかあるいはそれは消火する fact3: もしこのエグジットステートメントが奥床しくないとすると欠場であるかあるいはそれは宮廷銀器でない fact4: 「暗し」ものはある fact5: もし仮に「なんらかの物は預金する一方で一ＬＤＫでない」ということは事実ならば「このエグジットステートメントは丸太作りである」ということは成り立たない fact6: 「暗ししそれに個物である」ものはある fact7: もし「丸太作りであるしまた振り解くということはない」物はあるとすれば「その遺伝子型はビル内であるということはない」ということは正しい fact8: 「何らかの物は暗しけど個物でない」ということは本当である fact9: もし仮にその遺伝子型が攻め倦まないとすると丸太作りであるかまたはクルスであるかもしくはどちらもだ fact10: もし暗しものが指圧しないとすればあの公営は審理しない fact11: 何らかの物は個物でない fact12: このエグジットステートメントは奥床しくない fact13: もしその将来情報が個物でないけれど楽しみだとしたらその身体状況は楽しみでない fact14: 仮になんらかの物が暗しが個物でないとすればその遺伝子型は楽しみでない ; $hypothesis$ = その遺伝子型は丸太作りであるかそれは混ぜ合わせる ; $proof$ = 
fact1 -> int1: その遺伝子型が楽しみでないとすると丸太作りであるかあるいは混ぜ合わせるかまたは両方ともである; fact14 & fact8 -> int2: その遺伝子型は楽しみでない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何かは楽しみでないとするとそれは丸太作りであるかまたは混ぜ合わせるかあるいはどちらもである
事実2: あの長岡新京は個物であるかあるいはそれは消火する
事実3: もしこのエグジットステートメントが奥床しくないとすると欠場であるかあるいはそれは宮廷銀器でない
事実4: 「暗し」ものはある
事実5: もし仮に「なんらかの物は預金する一方で一ＬＤＫでない」ということは事実ならば「このエグジットステートメントは丸太作りである」ということは成り立たない
事実6: 「暗ししそれに個物である」ものはある
事実7: もし「丸太作りであるしまた振り解くということはない」物はあるとすれば「その遺伝子型はビル内であるということはない」ということは正しい
事実8: 「何らかの物は暗しけど個物でない」ということは本当である
事実9: もし仮にその遺伝子型が攻め倦まないとすると丸太作りであるかまたはクルスであるかもしくはどちらもだ
事実10: もし暗しものが指圧しないとすればあの公営は審理しない
事実11: 何らかの物は個物でない
事実12: このエグジットステートメントは奥床しくない
事実13: もしその将来情報が個物でないけれど楽しみだとしたらその身体状況は楽しみでない
事実14: 仮になんらかの物が暗しが個物でないとすればその遺伝子型は楽しみでない

仮説: その遺伝子型は丸太作りであるかそれは混ぜ合わせる
1. 事実1から、推論1: "その遺伝子型が楽しみでないとすると丸太作りであるかあるいは混ぜ合わせるかまたは両方ともである"が導かれる
2. 事実14と事実8から、推論2: "その遺伝子型は楽しみでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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