「その大学人は本能寺であるということはない」ということは本当である
fact1: とある物は天引きするかあるいは吸収し易いなら「からかわない」ということは本当である fact2: 「もし仮に「からかう」物はあれば「あの目先は吸収し易いけど天引きしない」ということは偽だ」ということは事実である fact3: 「洗濯物干しな」ものはある fact4: もしも何かは吸収し易いということはないならそれは各都道府県知事宛てでそれはからかう fact5: 仮にあの目先が天引きすればその大学人は本能寺である fact6: 「あの目先は吸収し易いし加えて天引きする」ということは成り立たない fact7: 「この生理ウイルスは勝訴しないしその上赤字企業だということはない」ということは成り立たない fact8: もし何かは野外美術館でないとすれば理解し難くないしまた移り易くない fact9: もし仮にこの基本語は理解し難いということはないとしたら「それは食べ出さないしまた受け辛いということはない」ということは成り立たない fact10: 仮に何らかのものがからかわないとしたら本能寺でない fact11: 仮に「この生理ウイルスは勝訴するということはなくて赤字企業でない」ということは誤っているとするとその雇用環境は勝訴しない fact12: 「からかう」ものはある fact13: もし仮に何かは新設しない一方で明文化するとしたら退治しない fact14: もし何かは退治しないとすると野外美術館でない fact15: もし「あの目先は吸収し易いが天引きしない」ということは成り立つということはないならその大学人は本能寺だ fact16: もしも「吸収し易い」物はあるなら「その大学人は本能寺であるが天引きしない」ということは成り立たない fact17: もし仮にあるものは食べ出すなら「天引きしなくてまた街路樹だ」ということは事実と異なる fact18: もしも「「食べ出さなくてまた受け辛くない」ということは成り立たない」ものがあるとすればあの目先は食べ出す fact19: その雇用環境が勝訴するということはないとすれば新設するということはなくて加えて明文化する fact20: もしその雇用環境が理解し難くないしおまけにそれが移り易くないとしたらこの基本語は理解し難くない
fact12 & fact2 -> int1: 「あの目先は吸収し易いけれど天引きするということはない」ということは成り立たない; int1 & fact15 -> hypothesis;
fact12 & fact2 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact15 -> hypothesis;
その大学人は本能寺でない
fact29 -> int2: 仮に「その大学人はからかう」ということは間違いであるとするとそれは本能寺でない; fact21 -> int3: その大学人は天引きするかもしくは吸収し易いかまたは両方だとするとそれはからかわない; fact22 -> int4: 仮にあの目先は食べ出すとしたら「それは天引きしなくて街路樹である」ということは成り立たない; fact23 -> int5: もしも「その雇用環境は野外美術館でない」ということは成り立てばそれは理解し難いということはないし更に移り易くない; fact26 -> int6: もしもその雇用環境が退治しないとすればそれは野外美術館でない; fact25 -> int7: 仮にその雇用環境が新設しないけれどそれが明文化するとしたら退治しない; fact24 & fact30 -> int8: その雇用環境は勝訴しない; fact31 & int8 -> int9: その雇用環境は新設しないがしかし明文化する; int7 & int9 -> int10: その雇用環境は退治しない; int6 & int10 -> int11: その雇用環境は野外美術館でない; int5 & int11 -> int12: その雇用環境は理解し難くないししかも移り易くない; fact32 & int12 -> int13: 「この基本語は理解し難くない」ということは成り立つ; fact28 & int13 -> int14: 「この基本語は食べ出さないし受け辛くない」ということは成り立たない; int14 -> int15: 「「食べ出さないし加えて受け辛くない」ということは間違いである」ものはある; int15 & fact27 -> int16: あの目先は食べ出す; int4 & int16 -> int17: 「あの目先は天引きしないけれどそれは街路樹である」ということは嘘である; int17 -> int18: 「「天引きしないけど街路樹である」ということは誤りである」ものはある;
$facts$ = fact1: とある物は天引きするかあるいは吸収し易いなら「からかわない」ということは本当である fact2: 「もし仮に「からかう」物はあれば「あの目先は吸収し易いけど天引きしない」ということは偽だ」ということは事実である fact3: 「洗濯物干しな」ものはある fact4: もしも何かは吸収し易いということはないならそれは各都道府県知事宛てでそれはからかう fact5: 仮にあの目先が天引きすればその大学人は本能寺である fact6: 「あの目先は吸収し易いし加えて天引きする」ということは成り立たない fact7: 「この生理ウイルスは勝訴しないしその上赤字企業だということはない」ということは成り立たない fact8: もし何かは野外美術館でないとすれば理解し難くないしまた移り易くない fact9: もし仮にこの基本語は理解し難いということはないとしたら「それは食べ出さないしまた受け辛いということはない」ということは成り立たない fact10: 仮に何らかのものがからかわないとしたら本能寺でない fact11: 仮に「この生理ウイルスは勝訴するということはなくて赤字企業でない」ということは誤っているとするとその雇用環境は勝訴しない fact12: 「からかう」ものはある fact13: もし仮に何かは新設しない一方で明文化するとしたら退治しない fact14: もし何かは退治しないとすると野外美術館でない fact15: もし「あの目先は吸収し易いが天引きしない」ということは成り立つということはないならその大学人は本能寺だ fact16: もしも「吸収し易い」物はあるなら「その大学人は本能寺であるが天引きしない」ということは成り立たない fact17: もし仮にあるものは食べ出すなら「天引きしなくてまた街路樹だ」ということは事実と異なる fact18: もしも「「食べ出さなくてまた受け辛くない」ということは成り立たない」ものがあるとすればあの目先は食べ出す fact19: その雇用環境が勝訴するということはないとすれば新設するということはなくて加えて明文化する fact20: もしその雇用環境が理解し難くないしおまけにそれが移り易くないとしたらこの基本語は理解し難くない ; $hypothesis$ = 「その大学人は本能寺であるということはない」ということは本当である ; $proof$ = 
fact12 & fact2 -> int1: 「あの目先は吸収し易いけれど天引きするということはない」ということは成り立たない; int1 & fact15 -> hypothesis; __DISPROVED__
事実1: とある物は天引きするかあるいは吸収し易いなら「からかわない」ということは本当である
事実2: 「もし仮に「からかう」物はあれば「あの目先は吸収し易いけど天引きしない」ということは偽だ」ということは事実である
事実3: 「洗濯物干しな」ものはある
事実4: もしも何かは吸収し易いということはないならそれは各都道府県知事宛てでそれはからかう
事実5: 仮にあの目先が天引きすればその大学人は本能寺である
事実6: 「あの目先は吸収し易いし加えて天引きする」ということは成り立たない
事実7: 「この生理ウイルスは勝訴しないしその上赤字企業だということはない」ということは成り立たない
事実8: もし何かは野外美術館でないとすれば理解し難くないしまた移り易くない
事実9: もし仮にこの基本語は理解し難いということはないとしたら「それは食べ出さないしまた受け辛いということはない」ということは成り立たない
事実10: 仮に何らかのものがからかわないとしたら本能寺でない
事実11: 仮に「この生理ウイルスは勝訴するということはなくて赤字企業でない」ということは誤っているとするとその雇用環境は勝訴しない
事実12: 「からかう」ものはある
事実13: もし仮に何かは新設しない一方で明文化するとしたら退治しない
事実14: もし何かは退治しないとすると野外美術館でない
事実15: もし「あの目先は吸収し易いが天引きしない」ということは成り立つということはないならその大学人は本能寺だ
事実16: もしも「吸収し易い」物はあるなら「その大学人は本能寺であるが天引きしない」ということは成り立たない
事実17: もし仮にあるものは食べ出すなら「天引きしなくてまた街路樹だ」ということは事実と異なる
事実18: もしも「「食べ出さなくてまた受け辛くない」ということは成り立たない」ものがあるとすればあの目先は食べ出す
事実19: その雇用環境が勝訴するということはないとすれば新設するということはなくて加えて明文化する
事実20: もしその雇用環境が理解し難くないしおまけにそれが移り易くないとしたらこの基本語は理解し難くない

仮説: 「その大学人は本能寺であるということはない」ということは本当である
1. 事実12と事実2から、推論1: "「あの目先は吸収し易いけれど天引きするということはない」ということは成り立たない"が導かれる
2. 推論1と事実15から、仮説が否定される

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