あの元代はよだたない
fact1: もし仮に何かは還付すればあの元代は参画出来なくてそれに溢れない fact2: あの何科は参画出来る fact3: その赤紫色は溢れる fact4: その赤紫色は参画出来る fact5: もしもその赤紫色はよだつとしたら「あの元代は参画出来る」ということは本当である fact6: あの何科は溢れるとすれば「あの元代はよだつ」ということは正しい fact7: その赤紫色が参画出来るならあの何科は溢れる fact8: もし何らかの物が克服しないならばそれは身悶えするし加えて還付す fact9: もしもあの元代が溢れればあの何科はよだつ fact10: あの島会所は参画出来る fact11: 仮にその赤紫色が溢れるとしたらあの何科は参画出来る
fact7 & fact4 -> int1: あの何科は溢れる; int1 & fact6 -> hypothesis;
fact7 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
あの元代はよだたない
fact13 -> int2: もしあの何科が克服しないならそれは身悶えするしまた還付す;
$facts$ = fact1: もし仮に何かは還付すればあの元代は参画出来なくてそれに溢れない fact2: あの何科は参画出来る fact3: その赤紫色は溢れる fact4: その赤紫色は参画出来る fact5: もしもその赤紫色はよだつとしたら「あの元代は参画出来る」ということは本当である fact6: あの何科は溢れるとすれば「あの元代はよだつ」ということは正しい fact7: その赤紫色が参画出来るならあの何科は溢れる fact8: もし何らかの物が克服しないならばそれは身悶えするし加えて還付す fact9: もしもあの元代が溢れればあの何科はよだつ fact10: あの島会所は参画出来る fact11: 仮にその赤紫色が溢れるとしたらあの何科は参画出来る ; $hypothesis$ = あの元代はよだたない ; $proof$ = 
fact7 & fact4 -> int1: あの何科は溢れる; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは還付すればあの元代は参画出来なくてそれに溢れない
事実2: あの何科は参画出来る
事実3: その赤紫色は溢れる
事実4: その赤紫色は参画出来る
事実5: もしもその赤紫色はよだつとしたら「あの元代は参画出来る」ということは本当である
事実6: あの何科は溢れるとすれば「あの元代はよだつ」ということは正しい
事実7: その赤紫色が参画出来るならあの何科は溢れる
事実8: もし何らかの物が克服しないならばそれは身悶えするし加えて還付す
事実9: もしもあの元代が溢れればあの何科はよだつ
事実10: あの島会所は参画出来る
事実11: 仮にその赤紫色が溢れるとしたらあの何科は参画出来る

仮説: あの元代はよだたない
1. 事実7と事実4から、推論1: "あの何科は溢れる"が導かれる
2. 推論1と事実6から、仮説が否定される

よって、仮説が否定されました。