この免税事業年度分は図々しかない
fact1: 「図々しい」物はある fact2: あの嫉妬家は図々しい fact3: もしなにがしかのものが切ないとすればこの免税事業年度分は傷付き易くない fact4: もしもこの受診が噛み切らないとしたらあの十月革命は飲食店営業であるしまた短過ぎる fact5: もし仮に「切ない」物があるとするとこの免税事業年度分は傷付き易くない一方でそれは図々しい fact6: 「切ない」ものはある fact7: あの森林地帯は御宜しくないが図々しい fact8: 「この受診は照れ臭いしその上噛み切る」ということは事実でない fact9: なんらかの物が縫い取りしないならあのメタノール車は打ち上がり易くないかあるいは答え難いということはない fact10: もしも「この受診は照れ臭くて加えてそれは噛み切る」ということは事実と異なるとするとそれは噛み切らない fact11: もし「「「カルテルでないが黒い」ということは真実である」ということは正しくない」物があるとしたらそのエープリルは縫い取りしない fact12: この免税事業年度分は傷付き易くない fact13: もしもなにがしかのものは飲食店営業であるとしたら「「それはカルテルでないし黒い」ということは真実だ」ということは誤っている fact14: 仮に「あのアームは打ち上がり易いということはない」ということは正しいならば傷付き易いということはないしさらに切なくない fact15: 「仮にあのメタノール車が打ち上がり易いということはないならあのアームは打ち上がり易くない」ということは事実である
fact6 & fact5 -> int1: この免税事業年度分は傷付き易いということはないがしかし図々しい; int1 -> hypothesis;
fact6 & fact5 -> int1: (¬{B}{a} & {C}{a}); int1 -> hypothesis;
この免税事業年度分は図々しかない
fact23 -> int2: もしも「あの十月革命は飲食店営業である」ということは成り立てば「それはカルテルでない一方で黒い」ということは成り立たない; fact21 & fact22 -> int3: この受診は噛み切るということはない; fact17 & int3 -> int4: あの十月革命は飲食店営業であるしそれは短過ぎる; int4 -> int5: あの十月革命は飲食店営業である; int2 & int5 -> int6: 「あの十月革命はカルテルでないけれどそれは黒い」ということは事実と異なる; int6 -> int7: 「「カルテルでないしさらに黒い」ということは間違っている」ものはある; int7 & fact19 -> int8: 「そのエープリルは縫い取りしない」ということは間違っているということはない; int8 -> int9: あるものは縫い取りしない; int9 & fact18 -> int10: あのメタノール車は打ち上がり易いということはないかもしくは答え難くないかまたは両方である;
$facts$ = fact1: 「図々しい」物はある fact2: あの嫉妬家は図々しい fact3: もしなにがしかのものが切ないとすればこの免税事業年度分は傷付き易くない fact4: もしもこの受診が噛み切らないとしたらあの十月革命は飲食店営業であるしまた短過ぎる fact5: もし仮に「切ない」物があるとするとこの免税事業年度分は傷付き易くない一方でそれは図々しい fact6: 「切ない」ものはある fact7: あの森林地帯は御宜しくないが図々しい fact8: 「この受診は照れ臭いしその上噛み切る」ということは事実でない fact9: なんらかの物が縫い取りしないならあのメタノール車は打ち上がり易くないかあるいは答え難いということはない fact10: もしも「この受診は照れ臭くて加えてそれは噛み切る」ということは事実と異なるとするとそれは噛み切らない fact11: もし「「「カルテルでないが黒い」ということは真実である」ということは正しくない」物があるとしたらそのエープリルは縫い取りしない fact12: この免税事業年度分は傷付き易くない fact13: もしもなにがしかのものは飲食店営業であるとしたら「「それはカルテルでないし黒い」ということは真実だ」ということは誤っている fact14: 仮に「あのアームは打ち上がり易いということはない」ということは正しいならば傷付き易いということはないしさらに切なくない fact15: 「仮にあのメタノール車が打ち上がり易いということはないならあのアームは打ち上がり易くない」ということは事実である ; $hypothesis$ = この免税事業年度分は図々しかない ; $proof$ = 
fact6 & fact5 -> int1: この免税事業年度分は傷付き易いということはないがしかし図々しい; int1 -> hypothesis; __DISPROVED__
事実1: 「図々しい」物はある
事実2: あの嫉妬家は図々しい
事実3: もしなにがしかのものが切ないとすればこの免税事業年度分は傷付き易くない
事実4: もしもこの受診が噛み切らないとしたらあの十月革命は飲食店営業であるしまた短過ぎる
事実5: もし仮に「切ない」物があるとするとこの免税事業年度分は傷付き易くない一方でそれは図々しい
事実6: 「切ない」ものはある
事実7: あの森林地帯は御宜しくないが図々しい
事実8: 「この受診は照れ臭いしその上噛み切る」ということは事実でない
事実9: なんらかの物が縫い取りしないならあのメタノール車は打ち上がり易くないかあるいは答え難いということはない
事実10: もしも「この受診は照れ臭くて加えてそれは噛み切る」ということは事実と異なるとするとそれは噛み切らない
事実11: もし「「「カルテルでないが黒い」ということは真実である」ということは正しくない」物があるとしたらそのエープリルは縫い取りしない
事実12: この免税事業年度分は傷付き易くない
事実13: もしもなにがしかのものは飲食店営業であるとしたら「「それはカルテルでないし黒い」ということは真実だ」ということは誤っている
事実14: 仮に「あのアームは打ち上がり易いということはない」ということは正しいならば傷付き易いということはないしさらに切なくない
事実15: 「仮にあのメタノール車が打ち上がり易いということはないならあのアームは打ち上がり易くない」ということは事実である

仮説: この免税事業年度分は図々しかない
1. 事実6と事実5から、推論1: "この免税事業年度分は傷付き易いということはないがしかし図々しい"が導かれる
2. 推論1から、仮説が否定される

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