「あの数学科は遊び疲れるということはないかもしくはそれは共産中国当局である」ということは成り立たない
fact1: あの数学科は自分らしいということはないかまたは揮発し易いか両方ともだ fact2: 仮にあるものが止水欠陥でないならば遊び疲れるしその上それは遠山系図である fact3: 「あの数学科は危うししさらにラーメン屋だ」ということは嘘である fact4: あの数学科は遊び疲れるかもしくは共産中国当局であるかあるいはどちらもである fact5: 「返り掛ける」物はある fact6: もしも「「なんらかの物は用い易くてそれは止水欠陥である」ということは真実だ」ということは事実と異なるならそれは止水欠陥でない fact7: 「あの数学科はそわそわするしそれに揮発し易い」ということは偽だ fact8: もしも「あの数学科はそわそわするし揮発し易い」ということは偽であるならば「遊び疲れない」ということは嘘であるということはない fact9: 「仮に「返り掛ける」物はあるなら「「その晩餐は用い易いし止水欠陥だ」ということは真実である」ということは間違っている」ということは確かだ
fact8 & fact7 -> int1: あの数学科は遊び疲れない; int1 -> hypothesis;
あの数学科はドラマツルギーでないか共産中国当局であるか両方ともである
fact11 -> int2: もし仮にその晩餐は止水欠陥でないとしたらそれは遊び疲れるしその上遠山系図である; fact12 -> int3: もしも「その晩餐は用い易くておまけにそれは止水欠陥である」ということは間違いだとしたらそれは止水欠陥でない; fact10 & fact13 -> int4: 「その晩餐は用い易くておまけに止水欠陥だ」ということは誤りだ; int3 & int4 -> int5: その晩餐は止水欠陥でない; int2 & int5 -> int6: その晩餐は遊び疲れるしおまけに遠山系図だ; int6 -> int7: 「遊び疲れるし遠山系図な」物はある;
$facts$ = fact1: あの数学科は自分らしいということはないかまたは揮発し易いか両方ともだ fact2: 仮にあるものが止水欠陥でないならば遊び疲れるしその上それは遠山系図である fact3: 「あの数学科は危うししさらにラーメン屋だ」ということは嘘である fact4: あの数学科は遊び疲れるかもしくは共産中国当局であるかあるいはどちらもである fact5: 「返り掛ける」物はある fact6: もしも「「なんらかの物は用い易くてそれは止水欠陥である」ということは真実だ」ということは事実と異なるならそれは止水欠陥でない fact7: 「あの数学科はそわそわするしそれに揮発し易い」ということは偽だ fact8: もしも「あの数学科はそわそわするし揮発し易い」ということは偽であるならば「遊び疲れない」ということは嘘であるということはない fact9: 「仮に「返り掛ける」物はあるなら「「その晩餐は用い易いし止水欠陥だ」ということは真実である」ということは間違っている」ということは確かだ ; $hypothesis$ = 「あの数学科は遊び疲れるということはないかもしくはそれは共産中国当局である」ということは成り立たない ; $proof$ = 
fact8 & fact7 -> int1: あの数学科は遊び疲れない; int1 -> hypothesis; __DISPROVED__
事実1: あの数学科は自分らしいということはないかまたは揮発し易いか両方ともだ
事実2: 仮にあるものが止水欠陥でないならば遊び疲れるしその上それは遠山系図である
事実3: 「あの数学科は危うししさらにラーメン屋だ」ということは嘘である
事実4: あの数学科は遊び疲れるかもしくは共産中国当局であるかあるいはどちらもである
事実5: 「返り掛ける」物はある
事実6: もしも「「なんらかの物は用い易くてそれは止水欠陥である」ということは真実だ」ということは事実と異なるならそれは止水欠陥でない
事実7: 「あの数学科はそわそわするしそれに揮発し易い」ということは偽だ
事実8: もしも「あの数学科はそわそわするし揮発し易い」ということは偽であるならば「遊び疲れない」ということは嘘であるということはない
事実9: 「仮に「返り掛ける」物はあるなら「「その晩餐は用い易いし止水欠陥だ」ということは真実である」ということは間違っている」ということは確かだ

仮説: 「あの数学科は遊び疲れるということはないかもしくはそれは共産中国当局である」ということは成り立たない
1. 事実8と事実7から、推論1: "あの数学科は遊び疲れない"が導かれる
2. 推論1から、仮説が否定される

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