そのエクスポートは人間臭くない
fact1: 「聴講するということはない」ものがあるならばあのエクスポートは人間臭い fact2: 「あの買い物は聴講するけれど人間臭くない」ということは間違いである fact3: 「「聴講するし加えて掃除し易い」ということは誤りである」ものはある fact4: 「もしも「「掃除し易い一方で人間臭くない」ということは嘘な」物があるとするとあの買い物は聴講する」ということは成り立つ fact5: もし「「聴講するが掃除し易くない」ということは成り立つということはない」ものがあるならそのエクスポートは人間臭い fact6: あの茶封筒が見失い掛ける一方で後ろ暗くないとしたら起こし難くない fact7: あの茶封筒は見失い掛ける一方で後ろ暗いということはない fact8: もしこの爺さんが起こし難いということはないなら纏め上げない fact9: なんらかの物は聴講するがしかし掃除し易くない fact10: 「「聴講するけれど人間臭くない」ということは誤っている」ものはある fact11: もしある物が纏め上げないとすればそれは引き渡し時であるかポリアセチレンであるか両方である fact12: 「あの買い物は明け遣る一方で商いしない」ということは間違いである fact13: 廃立は煮え繰り返らない fact14: もし仮に「あの茶封筒は起こし難くない」ということは正しいとするとこの爺さんは起こし難くない fact15: もし仮にある物が煮え繰り返らないとすれば人間臭いしそれに戻れる fact16: 引き渡し時は廃立である fact17: 「あの買い物は聴講するけれど掃除し易くない」ということは誤っている fact18: もしも「なにかは廃立である」ということは成り立つとすると「煮え繰り返らないかまたは戻れないかもしくは両方ともである」ということは事実でない fact19: あの財務局は人間臭い fact20: 「「あの買い物は塹壕戦であるが掃除し易くない」ということは本当である」ということは間違いである fact21: 「この四十七ワット前は調和し難いけど次書でない」ということは成り立たない
fact17 -> int1: 「「聴講するし加えて掃除し易くない」ということは偽な」ものはある; int1 & fact5 -> hypothesis;
そのエクスポートは人間臭くない
fact24 -> int2: 仮にこの爺さんは廃立ならば「「煮え繰り返らないかまたは戻れないかまたは両方ともだ」ということは成り立つ」ということは成り立つということはない; fact27 -> int3: もし仮にこの爺さんが纏め上げないなら引き渡し時であるかポリアセチレンであるかあるいはどちらもである; fact23 & fact26 -> int4: あの茶封筒は起こし難くない; fact28 & int4 -> int5: この爺さんは起こし難くない; fact22 & int5 -> int6: この爺さんは纏め上げない; int3 & int6 -> int7: この爺さんは引き渡し時であるかまたはポリアセチレンだ; fact25 -> int8: 仮にこの爺さんは引き渡し時であるとしたらそれは廃立だ;
$facts$ = fact1: 「聴講するということはない」ものがあるならばあのエクスポートは人間臭い fact2: 「あの買い物は聴講するけれど人間臭くない」ということは間違いである fact3: 「「聴講するし加えて掃除し易い」ということは誤りである」ものはある fact4: 「もしも「「掃除し易い一方で人間臭くない」ということは嘘な」物があるとするとあの買い物は聴講する」ということは成り立つ fact5: もし「「聴講するが掃除し易くない」ということは成り立つということはない」ものがあるならそのエクスポートは人間臭い fact6: あの茶封筒が見失い掛ける一方で後ろ暗くないとしたら起こし難くない fact7: あの茶封筒は見失い掛ける一方で後ろ暗いということはない fact8: もしこの爺さんが起こし難いということはないなら纏め上げない fact9: なんらかの物は聴講するがしかし掃除し易くない fact10: 「「聴講するけれど人間臭くない」ということは誤っている」ものはある fact11: もしある物が纏め上げないとすればそれは引き渡し時であるかポリアセチレンであるか両方である fact12: 「あの買い物は明け遣る一方で商いしない」ということは間違いである fact13: 廃立は煮え繰り返らない fact14: もし仮に「あの茶封筒は起こし難くない」ということは正しいとするとこの爺さんは起こし難くない fact15: もし仮にある物が煮え繰り返らないとすれば人間臭いしそれに戻れる fact16: 引き渡し時は廃立である fact17: 「あの買い物は聴講するけれど掃除し易くない」ということは誤っている fact18: もしも「なにかは廃立である」ということは成り立つとすると「煮え繰り返らないかまたは戻れないかもしくは両方ともである」ということは事実でない fact19: あの財務局は人間臭い fact20: 「「あの買い物は塹壕戦であるが掃除し易くない」ということは本当である」ということは間違いである fact21: 「この四十七ワット前は調和し難いけど次書でない」ということは成り立たない ; $hypothesis$ = そのエクスポートは人間臭くない ; $proof$ = 
fact17 -> int1: 「「聴講するし加えて掃除し易くない」ということは偽な」ものはある; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「聴講するということはない」ものがあるならばあのエクスポートは人間臭い
事実2: 「あの買い物は聴講するけれど人間臭くない」ということは間違いである
事実3: 「「聴講するし加えて掃除し易い」ということは誤りである」ものはある
事実4: 「もしも「「掃除し易い一方で人間臭くない」ということは嘘な」物があるとするとあの買い物は聴講する」ということは成り立つ
事実5: もし「「聴講するが掃除し易くない」ということは成り立つということはない」ものがあるならそのエクスポートは人間臭い
事実6: あの茶封筒が見失い掛ける一方で後ろ暗くないとしたら起こし難くない
事実7: あの茶封筒は見失い掛ける一方で後ろ暗いということはない
事実8: もしこの爺さんが起こし難いということはないなら纏め上げない
事実9: なんらかの物は聴講するがしかし掃除し易くない
事実10: 「「聴講するけれど人間臭くない」ということは誤っている」ものはある
事実11: もしある物が纏め上げないとすればそれは引き渡し時であるかポリアセチレンであるか両方である
事実12: 「あの買い物は明け遣る一方で商いしない」ということは間違いである
事実13: 廃立は煮え繰り返らない
事実14: もし仮に「あの茶封筒は起こし難くない」ということは正しいとするとこの爺さんは起こし難くない
事実15: もし仮にある物が煮え繰り返らないとすれば人間臭いしそれに戻れる
事実16: 引き渡し時は廃立である
事実17: 「あの買い物は聴講するけれど掃除し易くない」ということは誤っている
事実18: もしも「なにかは廃立である」ということは成り立つとすると「煮え繰り返らないかまたは戻れないかもしくは両方ともである」ということは事実でない
事実19: あの財務局は人間臭い
事実20: 「「あの買い物は塹壕戦であるが掃除し易くない」ということは本当である」ということは間違いである
事実21: 「この四十七ワット前は調和し難いけど次書でない」ということは成り立たない

仮説: そのエクスポートは人間臭くない
1. 事実17から、推論1: "「「聴講するし加えて掃除し易くない」ということは偽な」ものはある"が導かれる
2. 推論1と事実5から、仮説が否定される

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