「この書き物机は鬱陶しいし利用し難い」ということは嘘だ
fact1: 仮にこの書き物机が焼き直しでないとすれば利用し難くてかつぶっとい fact2: この馬っこは封建でないならばそれは価格支配力だ fact3: この書き物机はぱちぱちする fact4: この書き物机は男らしい fact5: もし仮にこの書き物机が男らしいとしたら便乗する fact6: もしもこの書き物机は焼き直しであるということはないならそれはぶっとい fact7: その空調栽培は便乗する fact8: もし仮にある物が便乗するとすればそれは鬱陶しい fact9: この書き物机はぶっとい fact10: もしこの書き物机が憎たらしいならばそれはぶっとい fact11: この書き物机は焼き直しでない fact12: 仮に「その不動産市場はぶっとくなくて焼き直しでない」ということは成り立つならこの書き物机はぶっとくない fact13: あの戦闘態勢はぶっといしアーチファクトである fact14: この書き物机がぶっとくないならばそれは合わせ易くて鬱陶しい
fact5 & fact4 -> int1: この書き物机は便乗する; fact8 -> int2: もしも「この書き物机は便乗する」ということは成り立つとしたら鬱陶しい; int1 & int2 -> int3: この書き物机は鬱陶しい; fact1 & fact11 -> int4: この書き物机は利用し難いし加えてぶっとい; int4 -> int5: この書き物机は利用し難い; int3 & int5 -> hypothesis;
この書き物机は合わせ易くてきな臭い
$facts$ = fact1: 仮にこの書き物机が焼き直しでないとすれば利用し難くてかつぶっとい fact2: この馬っこは封建でないならばそれは価格支配力だ fact3: この書き物机はぱちぱちする fact4: この書き物机は男らしい fact5: もし仮にこの書き物机が男らしいとしたら便乗する fact6: もしもこの書き物机は焼き直しであるということはないならそれはぶっとい fact7: その空調栽培は便乗する fact8: もし仮にある物が便乗するとすればそれは鬱陶しい fact9: この書き物机はぶっとい fact10: もしこの書き物机が憎たらしいならばそれはぶっとい fact11: この書き物机は焼き直しでない fact12: 仮に「その不動産市場はぶっとくなくて焼き直しでない」ということは成り立つならこの書き物机はぶっとくない fact13: あの戦闘態勢はぶっといしアーチファクトである fact14: この書き物机がぶっとくないならばそれは合わせ易くて鬱陶しい ; $hypothesis$ = 「この書き物机は鬱陶しいし利用し難い」ということは嘘だ ; $proof$ = 
fact5 & fact4 -> int1: この書き物机は便乗する; fact8 -> int2: もしも「この書き物机は便乗する」ということは成り立つとしたら鬱陶しい; int1 & int2 -> int3: この書き物机は鬱陶しい; fact1 & fact11 -> int4: この書き物机は利用し難いし加えてぶっとい; int4 -> int5: この書き物机は利用し難い; int3 & int5 -> hypothesis; __DISPROVED__
事実1: 仮にこの書き物机が焼き直しでないとすれば利用し難くてかつぶっとい
事実2: この馬っこは封建でないならばそれは価格支配力だ
事実3: この書き物机はぱちぱちする
事実4: この書き物机は男らしい
事実5: もし仮にこの書き物机が男らしいとしたら便乗する
事実6: もしもこの書き物机は焼き直しであるということはないならそれはぶっとい
事実7: その空調栽培は便乗する
事実8: もし仮にある物が便乗するとすればそれは鬱陶しい
事実9: この書き物机はぶっとい
事実10: もしこの書き物机が憎たらしいならばそれはぶっとい
事実11: この書き物机は焼き直しでない
事実12: 仮に「その不動産市場はぶっとくなくて焼き直しでない」ということは成り立つならこの書き物机はぶっとくない
事実13: あの戦闘態勢はぶっといしアーチファクトである
事実14: この書き物机がぶっとくないならばそれは合わせ易くて鬱陶しい

仮説: 「この書き物机は鬱陶しいし利用し難い」ということは嘘だ
1. 事実5と事実4から、推論1: "この書き物机は便乗する"が導かれる
2. 事実8から、推論2: "もしも「この書き物机は便乗する」ということは成り立つとしたら鬱陶しい"が導かれる
3. 推論1と推論2から、推論3: "この書き物机は鬱陶しい"が導かれる
4. 事実1と事実11から、推論4: "この書き物机は利用し難いし加えてぶっとい"が導かれる
5. 推論4から、推論5: "この書き物机は利用し難い"が導かれる
6. 推論3と推論5から、仮説が否定される

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