その運転手さんは育児書でない
fact1: 何らかの物は育児書だ fact2: なにがしかの物は生々しいしさらにそれは史上最高だ fact3: 継続し難くないものは育児書だ fact4: もし仮に生々しかない物が史上最高だとすれば話し易くない fact5: 仮に「なにがしかのものは史上最高でないがしかしそれは生々しい」ということは成り立つということはないとするとそれは入金するということはない fact6: その損益取り引きは継続し難くて更に話し易い fact7: 何かは話し易くないとしたらそれは継続し難くないかもしくはそれは入金する fact8: もし仮にその損益取り引きが継続し難いけど入金しないとすればあの運転手さんは育児書だ fact9: あの清算業務は総和しない fact10: もし何かは生々しいし更にそれが史上最高であるならその損益取り引きは入金するということはない fact11: 「その運転手さんは史上最高でないけれど生々しい」ということは嘘だ fact12: もし何かは総和しないとしたら生々しかない一方で史上最高だ
fact6 -> int1: その損益取り引きは継続し難い; fact10 & fact2 -> int2: その損益取り引きは入金しない; int1 & int2 -> int3: その損益取り引きは継続し難いけれどそれは入金しない; int3 & fact8 -> hypothesis;
fact6 -> int1: {A}{a}; fact10 & fact2 -> int2: ¬{C}{a}; int1 & int2 -> int3: ({A}{a} & ¬{C}{a}); int3 & fact8 -> hypothesis;
あの清算業務は育児書である
fact14 -> int4: もし仮にあの清算業務は継続し難くないなら「育児書だ」ということは確かだ; fact13 -> int5: もし仮にあの清算業務が話し易くないならそれは継続し難いということはないか入金するかもしくは両方ともである; fact16 -> int6: もし仮にあの清算業務が生々しかないが史上最高だとすると話し易くない; fact17 -> int7: もしもあの清算業務が総和しないとするとそれは生々しかないけれど史上最高だ; int7 & fact15 -> int8: あの清算業務は生々しかないが史上最高である; int6 & int8 -> int9: あの清算業務は話し易いということはない; int5 & int9 -> int10: 「あの清算業務は継続し難くないかまたは入金するかあるいはどちらもだ」ということは本当だ;
$facts$ = fact1: 何らかの物は育児書だ fact2: なにがしかの物は生々しいしさらにそれは史上最高だ fact3: 継続し難くないものは育児書だ fact4: もし仮に生々しかない物が史上最高だとすれば話し易くない fact5: 仮に「なにがしかのものは史上最高でないがしかしそれは生々しい」ということは成り立つということはないとするとそれは入金するということはない fact6: その損益取り引きは継続し難くて更に話し易い fact7: 何かは話し易くないとしたらそれは継続し難くないかもしくはそれは入金する fact8: もし仮にその損益取り引きが継続し難いけど入金しないとすればあの運転手さんは育児書だ fact9: あの清算業務は総和しない fact10: もし何かは生々しいし更にそれが史上最高であるならその損益取り引きは入金するということはない fact11: 「その運転手さんは史上最高でないけれど生々しい」ということは嘘だ fact12: もし何かは総和しないとしたら生々しかない一方で史上最高だ ; $hypothesis$ = その運転手さんは育児書でない ; $proof$ = 
fact6 -> int1: その損益取り引きは継続し難い; fact10 & fact2 -> int2: その損益取り引きは入金しない; int1 & int2 -> int3: その損益取り引きは継続し難いけれどそれは入金しない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: 何らかの物は育児書だ
事実2: なにがしかの物は生々しいしさらにそれは史上最高だ
事実3: 継続し難くないものは育児書だ
事実4: もし仮に生々しかない物が史上最高だとすれば話し易くない
事実5: 仮に「なにがしかのものは史上最高でないがしかしそれは生々しい」ということは成り立つということはないとするとそれは入金するということはない
事実6: その損益取り引きは継続し難くて更に話し易い
事実7: 何かは話し易くないとしたらそれは継続し難くないかもしくはそれは入金する
事実8: もし仮にその損益取り引きが継続し難いけど入金しないとすればあの運転手さんは育児書だ
事実9: あの清算業務は総和しない
事実10: もし何かは生々しいし更にそれが史上最高であるならその損益取り引きは入金するということはない
事実11: 「その運転手さんは史上最高でないけれど生々しい」ということは嘘だ
事実12: もし何かは総和しないとしたら生々しかない一方で史上最高だ

仮説: その運転手さんは育児書でない
1. 事実6から、推論1: "その損益取り引きは継続し難い"が導かれる
2. 事実10と事実2から、推論2: "その損益取り引きは入金しない"が導かれる
3. 推論1と推論2から、推論3: "その損益取り引きは継続し難いけれどそれは入金しない"が導かれる
4. 推論3と事実8から、仮説が否定される

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