「そのハンチ等は願望しなくて日本考古学協会でない」ということは偽である
fact1: すべてのものは冷め易くないかもしくはそれは間違え易くないかもしくは両方である fact2: もしも「なんらかの物は勤務地でない」ということは成り立つとすると芳しくないしまた間違え易くない fact3: この能動は店舗間であるし教会員である fact4: 「もしあの点滴静脈注射は願望するとしたら「そのハンチ等は願望するけれどそれは日本考古学協会でない」ということは間違っている」ということは成り立つ fact5: もしも芳しくない物が間違え易くないとすればそれは願望するということはない fact6: もし「あの点滴静脈注射は願望する」ということは確かであるとすると「そのハンチ等は願望しなくてまた日本考古学協会でない」ということは嘘である fact7: もしもそのハンチ等は日本考古学協会であるなら「このＲ初段は日本考古学協会でないしそれに冷め易くない」ということは誤っている fact8: もしもこの能動が店舗間であるとしたらそのハンチ等は勤務地でないしおまけに伸び易いということはない fact9: もし仮に「このＲ初段は冷め易いということはない」ということは確かであるとすると「あの点滴静脈注射は願望する」ということは成り立つ fact10: もし仮にこのＲ初段が間違え易いということはないとしたらあの点滴静脈注射は願望する
fact1 -> int1: このＲ初段は冷め易くないか間違え易くない; int1 & fact9 & fact10 -> int2: 「あの点滴静脈注射は願望する」ということは成り立つ; int2 & fact6 -> hypothesis;
fact1 -> int1: (¬{A}{aa} v ¬{B}{aa}); int1 & fact9 & fact10 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
そのハンチ等は願望しなくておまけに日本考古学協会でない
fact13 -> int3: そのハンチ等が芳しくなくて加えてそれが間違え易くないとしたら願望しない; fact14 -> int4: もしそのハンチ等は勤務地であるということはないとすれば芳しいということはなくて間違え易くない; fact12 -> int5: この能動は店舗間だ; fact11 & int5 -> int6: そのハンチ等は勤務地でないしそれは伸び易くない; int6 -> int7: そのハンチ等は勤務地でない; int4 & int7 -> int8: そのハンチ等は芳しくなくてそれは間違え易いということはない; int3 & int8 -> int9: そのハンチ等は願望しない;
$facts$ = fact1: すべてのものは冷め易くないかもしくはそれは間違え易くないかもしくは両方である fact2: もしも「なんらかの物は勤務地でない」ということは成り立つとすると芳しくないしまた間違え易くない fact3: この能動は店舗間であるし教会員である fact4: 「もしあの点滴静脈注射は願望するとしたら「そのハンチ等は願望するけれどそれは日本考古学協会でない」ということは間違っている」ということは成り立つ fact5: もしも芳しくない物が間違え易くないとすればそれは願望するということはない fact6: もし「あの点滴静脈注射は願望する」ということは確かであるとすると「そのハンチ等は願望しなくてまた日本考古学協会でない」ということは嘘である fact7: もしもそのハンチ等は日本考古学協会であるなら「このＲ初段は日本考古学協会でないしそれに冷め易くない」ということは誤っている fact8: もしもこの能動が店舗間であるとしたらそのハンチ等は勤務地でないしおまけに伸び易いということはない fact9: もし仮に「このＲ初段は冷め易いということはない」ということは確かであるとすると「あの点滴静脈注射は願望する」ということは成り立つ fact10: もし仮にこのＲ初段が間違え易いということはないとしたらあの点滴静脈注射は願望する ; $hypothesis$ = 「そのハンチ等は願望しなくて日本考古学協会でない」ということは偽である ; $proof$ = 
fact1 -> int1: このＲ初段は冷め易くないか間違え易くない; int1 & fact9 & fact10 -> int2: 「あの点滴静脈注射は願望する」ということは成り立つ; int2 & fact6 -> hypothesis; __PROVED__
事実1: すべてのものは冷め易くないかもしくはそれは間違え易くないかもしくは両方である
事実2: もしも「なんらかの物は勤務地でない」ということは成り立つとすると芳しくないしまた間違え易くない
事実3: この能動は店舗間であるし教会員である
事実4: 「もしあの点滴静脈注射は願望するとしたら「そのハンチ等は願望するけれどそれは日本考古学協会でない」ということは間違っている」ということは成り立つ
事実5: もしも芳しくない物が間違え易くないとすればそれは願望するということはない
事実6: もし「あの点滴静脈注射は願望する」ということは確かであるとすると「そのハンチ等は願望しなくてまた日本考古学協会でない」ということは嘘である
事実7: もしもそのハンチ等は日本考古学協会であるなら「このＲ初段は日本考古学協会でないしそれに冷め易くない」ということは誤っている
事実8: もしもこの能動が店舗間であるとしたらそのハンチ等は勤務地でないしおまけに伸び易いということはない
事実9: もし仮に「このＲ初段は冷め易いということはない」ということは確かであるとすると「あの点滴静脈注射は願望する」ということは成り立つ
事実10: もし仮にこのＲ初段が間違え易いということはないとしたらあの点滴静脈注射は願望する

仮説: 「そのハンチ等は願望しなくて日本考古学協会でない」ということは偽である
1. 事実1から、推論1: "このＲ初段は冷め易くないか間違え易くない"が導かれる
2. 推論1と事実9と事実10から、推論2: "「あの点滴静脈注射は願望する」ということは成り立つ"が導かれる
3. 推論2と事実6から、仮説が導かれる

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