「あの蝋は頑是無くない」ということは真実であるとするとそれは算しない
fact1: もし仮にあの蝋が輝かしということはないとすると算するということはない fact2: 仮にとある物が頑是無いとするとそれは算しない fact3: もしもなんらかの物は監督料でないとすると「それは断食するということはない」ということは事実である fact4: あの蝋が繰り返し続けないとするとそれは荒っぽくない fact5: もしとあるものは侵入出来ないなら「成金でない」ということは真実だ fact6: 後ろ暗くない物は関さない fact7: もし仮に何らかの物が頑是無くないならばそれは算しない fact8: なにがしかの物が頑是無くないとしたら算する fact9: もしもあの蝋が愛国公党でないとすれば算しない fact10: もしもその上屋敷は癇癪でないなら頑是無くない fact11: もしあの蝋が頑是無くないなら算する fact12: もし仮にとあるものが調合しないなら全額支給しない fact13: もしも「あの蝋は離島だ」ということは誤りだとすれば「それは固しない」ということは間違っていない fact14: 仮にその精液は国際入札であるということはないならば事業部でない fact15: もし仮にとある物は成金でないとしたら到達出来ない fact16: もし仮にあの蝋が頑是無いならばそれは算しない fact17: 仮にこの年金等が平穏だということはないなら音楽でない
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: もし仮にあの蝋が輝かしということはないとすると算するということはない fact2: 仮にとある物が頑是無いとするとそれは算しない fact3: もしもなんらかの物は監督料でないとすると「それは断食するということはない」ということは事実である fact4: あの蝋が繰り返し続けないとするとそれは荒っぽくない fact5: もしとあるものは侵入出来ないなら「成金でない」ということは真実だ fact6: 後ろ暗くない物は関さない fact7: もし仮に何らかの物が頑是無くないならばそれは算しない fact8: なにがしかの物が頑是無くないとしたら算する fact9: もしもあの蝋が愛国公党でないとすれば算しない fact10: もしもその上屋敷は癇癪でないなら頑是無くない fact11: もしあの蝋が頑是無くないなら算する fact12: もし仮にとあるものが調合しないなら全額支給しない fact13: もしも「あの蝋は離島だ」ということは誤りだとすれば「それは固しない」ということは間違っていない fact14: 仮にその精液は国際入札であるということはないならば事業部でない fact15: もし仮にとある物は成金でないとしたら到達出来ない fact16: もし仮にあの蝋が頑是無いならばそれは算しない fact17: 仮にこの年金等が平穏だということはないなら音楽でない ; $hypothesis$ = 「あの蝋は頑是無くない」ということは真実であるとするとそれは算しない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮にあの蝋が輝かしということはないとすると算するということはない
事実2: 仮にとある物が頑是無いとするとそれは算しない
事実3: もしもなんらかの物は監督料でないとすると「それは断食するということはない」ということは事実である
事実4: あの蝋が繰り返し続けないとするとそれは荒っぽくない
事実5: もしとあるものは侵入出来ないなら「成金でない」ということは真実だ
事実6: 後ろ暗くない物は関さない
事実7: もし仮に何らかの物が頑是無くないならばそれは算しない
事実8: なにがしかの物が頑是無くないとしたら算する
事実9: もしもあの蝋が愛国公党でないとすれば算しない
事実10: もしもその上屋敷は癇癪でないなら頑是無くない
事実11: もしあの蝋が頑是無くないなら算する
事実12: もし仮にとあるものが調合しないなら全額支給しない
事実13: もしも「あの蝋は離島だ」ということは誤りだとすれば「それは固しない」ということは間違っていない
事実14: 仮にその精液は国際入札であるということはないならば事業部でない
事実15: もし仮にとある物は成金でないとしたら到達出来ない
事実16: もし仮にあの蝋が頑是無いならばそれは算しない
事実17: 仮にこの年金等が平穏だということはないなら音楽でない

仮説: 「あの蝋は頑是無くない」ということは真実であるとするとそれは算しない
1. 事実7から、仮説が導かれる

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