「「節制しないかまたはいがらっぽいかあるいは両方であるならば不採用でない」物はある」ということは事実と異なる
fact1: もし仮になんらかのものが溢れ続けないかもしくはそれがか弱いとすれば忘れっぽくない fact2: 「もし仮に勝ち誇るかまたは遠過ぎるか両方ともであるとすれば「開拓使女学校でない」ということは真実である」物はある fact3: 仮にあのツール・バーは保ち易くないかもしくは取り違えるか両方ともであるならばそれは濃くない fact4: 「仮に「二十一世紀型である」ということは事実であるならば小姓組番士でない」物はある fact5: 仮にその包丁切りは節制しないかあるいはいがらっぽいか両方ともであるとしたら「不採用でない」ということは確かだ fact6: もしその包丁切りが駆け出しないかまたは遠過ぎるとすれば善男である
fact5 -> hypothesis;
「もしも溢れ続けないかまたはか弱いかまたは両方ともなら忘れっぽいということはない」ものはある
fact7 -> int1: もしもその作業時は溢れ続けないかあるいはか弱いかどちらもだとすればそれは忘れっぽくない; int1 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものが溢れ続けないかもしくはそれがか弱いとすれば忘れっぽくない fact2: 「もし仮に勝ち誇るかまたは遠過ぎるか両方ともであるとすれば「開拓使女学校でない」ということは真実である」物はある fact3: 仮にあのツール・バーは保ち易くないかもしくは取り違えるか両方ともであるならばそれは濃くない fact4: 「仮に「二十一世紀型である」ということは事実であるならば小姓組番士でない」物はある fact5: 仮にその包丁切りは節制しないかあるいはいがらっぽいか両方ともであるとしたら「不採用でない」ということは確かだ fact6: もしその包丁切りが駆け出しないかまたは遠過ぎるとすれば善男である ; $hypothesis$ = 「「節制しないかまたはいがらっぽいかあるいは両方であるならば不採用でない」物はある」ということは事実と異なる ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが溢れ続けないかもしくはそれがか弱いとすれば忘れっぽくない
事実2: 「もし仮に勝ち誇るかまたは遠過ぎるか両方ともであるとすれば「開拓使女学校でない」ということは真実である」物はある
事実3: 仮にあのツール・バーは保ち易くないかもしくは取り違えるか両方ともであるならばそれは濃くない
事実4: 「仮に「二十一世紀型である」ということは事実であるならば小姓組番士でない」物はある
事実5: 仮にその包丁切りは節制しないかあるいはいがらっぽいか両方ともであるとしたら「不採用でない」ということは確かだ
事実6: もしその包丁切りが駆け出しないかまたは遠過ぎるとすれば善男である

仮説: 「「節制しないかまたはいがらっぽいかあるいは両方であるならば不採用でない」物はある」ということは事実と異なる
1. 事実5から、仮説が否定される

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