「この勤労動員は来辛くないか切手研でない」ということは成り立たない
fact1: あの愛弟子は切手研でない fact2: この勤労動員は来辛いかもしくは切手研でない fact3: もしとある物が高揚しないとすると手っ取り早くてそれに手軽さである fact4: もしあるものが大当たりするとすればそれは格付けする fact5: 「もしこの勤労動員は格付けすれば「あの戦端は来辛いか聞き惚れないかもしくは両方だ」ということは間違っている」ということは間違っていない fact6: 「この勤労動員は薄汚くない」ということは正しい fact7: この勤労動員は来辛くないかあるいは切手研であるかあるいは両方ともだ fact8: もしも「なんらかの物は来辛いか聞き惚れない」ということは成り立たないとすればそれは切手研でない fact9: 手っ取り早いものは大当たりする fact10: この勤労動員は来辛くない
fact10 -> hypothesis;
fact10 -> hypothesis;
あの戦端は切手研でない
fact13 -> int1: もし「あの戦端は来辛いかまたは聞き惚れないかまたはどちらもだ」ということは間違いならばそれは切手研でない; fact14 -> int2: この勤労動員が大当たりするとすればそれは格付けする; fact11 -> int3: もし仮にこの勤労動員が手っ取り早いとするとそれは大当たりする; fact15 -> int4: 仮にこの勤労動員が高揚しないならばそれは手っ取り早いし手軽さである;
$facts$ = fact1: あの愛弟子は切手研でない fact2: この勤労動員は来辛いかもしくは切手研でない fact3: もしとある物が高揚しないとすると手っ取り早くてそれに手軽さである fact4: もしあるものが大当たりするとすればそれは格付けする fact5: 「もしこの勤労動員は格付けすれば「あの戦端は来辛いか聞き惚れないかもしくは両方だ」ということは間違っている」ということは間違っていない fact6: 「この勤労動員は薄汚くない」ということは正しい fact7: この勤労動員は来辛くないかあるいは切手研であるかあるいは両方ともだ fact8: もしも「なんらかの物は来辛いか聞き惚れない」ということは成り立たないとすればそれは切手研でない fact9: 手っ取り早いものは大当たりする fact10: この勤労動員は来辛くない ; $hypothesis$ = 「この勤労動員は来辛くないか切手研でない」ということは成り立たない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: あの愛弟子は切手研でない
事実2: この勤労動員は来辛いかもしくは切手研でない
事実3: もしとある物が高揚しないとすると手っ取り早くてそれに手軽さである
事実4: もしあるものが大当たりするとすればそれは格付けする
事実5: 「もしこの勤労動員は格付けすれば「あの戦端は来辛いか聞き惚れないかもしくは両方だ」ということは間違っている」ということは間違っていない
事実6: 「この勤労動員は薄汚くない」ということは正しい
事実7: この勤労動員は来辛くないかあるいは切手研であるかあるいは両方ともだ
事実8: もしも「なんらかの物は来辛いか聞き惚れない」ということは成り立たないとすればそれは切手研でない
事実9: 手っ取り早いものは大当たりする
事実10: この勤労動員は来辛くない

仮説: 「この勤労動員は来辛くないか切手研でない」ということは成り立たない
1. 事実10から、仮説が否定される

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