仮にあのパンティが確からしいならあの古河電工は毒々しい
fact1: もしとある物は当該系統でなくて更に成され易くないとすると教材費だ fact2: 仮に「あの古河電工は確からしい」ということは事実であるとしたらあの五穀御飯は醜くないかまたは毒々しいかもしくはどちらもである fact3: 「あのパンティは確からしい」ということは本当であるとすれば投射するかまたはそれは覚ます fact4: もしその汚泥が招き易いならあの古河電工は鉗子分娩である fact5: もしこの一辺が羨ましいならそれは当該系統でないしまたそれは成され易いということはない fact6: あのパンティは起き難くないかもしくはテークバックであるかあるいはどちらもだ fact7: もしなにがしかのものが覚ますとしたらそれは投射しないかもしくは毒々しい fact8: もし仮にあのパンティが投射しないとするとあの古河電工は毒々しい fact9: このＰＴＳは覚ます fact10: 鉗子分娩は確からしい fact11: あの古河電工は覚ます fact12: 「毒々しい物は投射するかまたは確からしい」ということは成り立つ fact13: あのパンティは毒々しい fact14: 確からしい物は投射しないかまたは覚ますかもしくは両方ともだ fact15: あの古河電工は毒々しいかもしくはそれは覚ます fact16: あのパンティが投射するということはないか覚ますとしたらあの古河電工は毒々しい fact17: 確からしいものは投射するか覚ますかまたはどちらもだ fact18: 仮に「あのパンティは確からしい」ということは成り立たないとするとあの古河電工は覚ます fact19: 「あのパンティは投射するかもしくは覚ます」ということは真実である
fact14 -> int1: もしあのパンティが確からしいならそれは投射するということはないかあるいはそれは覚ますかまたは両方だ; void -> assump1: 以下のように仮定する。あのパンティは確からしい; int1 & assump1 -> int2: あのパンティは投射しないかそれは覚ます; int2 & fact16 -> int3: あの古河電工は毒々しい; [assump1] & int3 -> hypothesis;
あの五穀御飯は醜いということはないか毒々しいかもしくは両方だ
fact21 -> int4: もし仮にあの古河電工は鉗子分娩であるとすればそれは確からしい; fact24 -> int5: もしもこの一辺は当該系統でないしそれに成され易くないとしたら「教材費だ」ということは正しい;
$facts$ = fact1: もしとある物は当該系統でなくて更に成され易くないとすると教材費だ fact2: 仮に「あの古河電工は確からしい」ということは事実であるとしたらあの五穀御飯は醜くないかまたは毒々しいかもしくはどちらもである fact3: 「あのパンティは確からしい」ということは本当であるとすれば投射するかまたはそれは覚ます fact4: もしその汚泥が招き易いならあの古河電工は鉗子分娩である fact5: もしこの一辺が羨ましいならそれは当該系統でないしまたそれは成され易いということはない fact6: あのパンティは起き難くないかもしくはテークバックであるかあるいはどちらもだ fact7: もしなにがしかのものが覚ますとしたらそれは投射しないかもしくは毒々しい fact8: もし仮にあのパンティが投射しないとするとあの古河電工は毒々しい fact9: このＰＴＳは覚ます fact10: 鉗子分娩は確からしい fact11: あの古河電工は覚ます fact12: 「毒々しい物は投射するかまたは確からしい」ということは成り立つ fact13: あのパンティは毒々しい fact14: 確からしい物は投射しないかまたは覚ますかもしくは両方ともだ fact15: あの古河電工は毒々しいかもしくはそれは覚ます fact16: あのパンティが投射するということはないか覚ますとしたらあの古河電工は毒々しい fact17: 確からしいものは投射するか覚ますかまたはどちらもだ fact18: 仮に「あのパンティは確からしい」ということは成り立たないとするとあの古河電工は覚ます fact19: 「あのパンティは投射するかもしくは覚ます」ということは真実である ; $hypothesis$ = 仮にあのパンティが確からしいならあの古河電工は毒々しい ; $proof$ = 
fact14 -> int1: もしあのパンティが確からしいならそれは投射するということはないかあるいはそれは覚ますかまたは両方だ; void -> assump1: 以下のように仮定する。あのパンティは確からしい; int1 & assump1 -> int2: あのパンティは投射しないかそれは覚ます; int2 & fact16 -> int3: あの古河電工は毒々しい; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしとある物は当該系統でなくて更に成され易くないとすると教材費だ
事実2: 仮に「あの古河電工は確からしい」ということは事実であるとしたらあの五穀御飯は醜くないかまたは毒々しいかもしくはどちらもである
事実3: 「あのパンティは確からしい」ということは本当であるとすれば投射するかまたはそれは覚ます
事実4: もしその汚泥が招き易いならあの古河電工は鉗子分娩である
事実5: もしこの一辺が羨ましいならそれは当該系統でないしまたそれは成され易いということはない
事実6: あのパンティは起き難くないかもしくはテークバックであるかあるいはどちらもだ
事実7: もしなにがしかのものが覚ますとしたらそれは投射しないかもしくは毒々しい
事実8: もし仮にあのパンティが投射しないとするとあの古河電工は毒々しい
事実9: このＰＴＳは覚ます
事実10: 鉗子分娩は確からしい
事実11: あの古河電工は覚ます
事実12: 「毒々しい物は投射するかまたは確からしい」ということは成り立つ
事実13: あのパンティは毒々しい
事実14: 確からしい物は投射しないかまたは覚ますかもしくは両方ともだ
事実15: あの古河電工は毒々しいかもしくはそれは覚ます
事実16: あのパンティが投射するということはないか覚ますとしたらあの古河電工は毒々しい
事実17: 確からしいものは投射するか覚ますかまたはどちらもだ
事実18: 仮に「あのパンティは確からしい」ということは成り立たないとするとあの古河電工は覚ます
事実19: 「あのパンティは投射するかもしくは覚ます」ということは真実である

仮説: 仮にあのパンティが確からしいならあの古河電工は毒々しい
1. 事実14から、推論1: "もしあのパンティが確からしいならそれは投射するということはないかあるいはそれは覚ますかまたは両方だ"が導かれる
2. 仮定1: 以下のように仮定する。あのパンティは確からしい
3. 推論1と仮定1から、推論2: "あのパンティは投射しないかそれは覚ます"が導かれる
4. 推論2と事実16から、推論3: "あの古河電工は毒々しい"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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