その保証契約書は想像し易いけれどそれは強くない
fact1: あの税効果額は想像し易いなら「その保証契約書は想像し易くてそれに強い」ということは本当でない fact2: もしあの都会人は離席しないならば「それは承服出来ない」ということは成り立つ fact3: もしも「あの税効果額は想像し易い」ということは成り立つなら「その保証契約書は想像し易いものでありその上強いということはない」ということは成り立たない fact4: 仮にあの都会人は承服出来ないとすると「あの類似表示使用者は住み易くない一方でそれは決定機関だ」ということは間違いである fact5: あの都会人は離席しない fact6: あの都会人は承服出来ないなら「あの類似表示使用者は住み易くないし決定機関でない」ということは間違いだ fact7: 「あの類似表示使用者は住み易いということはないけれど決定機関だ」ということは成り立たない fact8: もし「あの類似表示使用者は住み易くないし決定機関でない」ということは真実でないとするとあの税効果額は想像し易い fact9: もし仮にあの類似表示使用者が決定機関であるならあの税効果額は想像し易い
fact2 & fact5 -> int1: 「あの都会人は承服出来ない」ということは真実だ; int1 & fact6 -> int2: 「あの類似表示使用者は住み易くないしおまけにそれは決定機関でない」ということは成り立たない; int2 & fact8 -> int3: あの税効果額は想像し易い; int3 & fact3 -> hypothesis;
$facts$ = fact1: あの税効果額は想像し易いなら「その保証契約書は想像し易くてそれに強い」ということは本当でない fact2: もしあの都会人は離席しないならば「それは承服出来ない」ということは成り立つ fact3: もしも「あの税効果額は想像し易い」ということは成り立つなら「その保証契約書は想像し易いものでありその上強いということはない」ということは成り立たない fact4: 仮にあの都会人は承服出来ないとすると「あの類似表示使用者は住み易くない一方でそれは決定機関だ」ということは間違いである fact5: あの都会人は離席しない fact6: あの都会人は承服出来ないなら「あの類似表示使用者は住み易くないし決定機関でない」ということは間違いだ fact7: 「あの類似表示使用者は住み易いということはないけれど決定機関だ」ということは成り立たない fact8: もし「あの類似表示使用者は住み易くないし決定機関でない」ということは真実でないとするとあの税効果額は想像し易い fact9: もし仮にあの類似表示使用者が決定機関であるならあの税効果額は想像し易い ; $hypothesis$ = その保証契約書は想像し易いけれどそれは強くない ; $proof$ = 
fact2 & fact5 -> int1: 「あの都会人は承服出来ない」ということは真実だ; int1 & fact6 -> int2: 「あの類似表示使用者は住み易くないしおまけにそれは決定機関でない」ということは成り立たない; int2 & fact8 -> int3: あの税効果額は想像し易い; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: あの税効果額は想像し易いなら「その保証契約書は想像し易くてそれに強い」ということは本当でない
事実2: もしあの都会人は離席しないならば「それは承服出来ない」ということは成り立つ
事実3: もしも「あの税効果額は想像し易い」ということは成り立つなら「その保証契約書は想像し易いものでありその上強いということはない」ということは成り立たない
事実4: 仮にあの都会人は承服出来ないとすると「あの類似表示使用者は住み易くない一方でそれは決定機関だ」ということは間違いである
事実5: あの都会人は離席しない
事実6: あの都会人は承服出来ないなら「あの類似表示使用者は住み易くないし決定機関でない」ということは間違いだ
事実7: 「あの類似表示使用者は住み易いということはないけれど決定機関だ」ということは成り立たない
事実8: もし「あの類似表示使用者は住み易くないし決定機関でない」ということは真実でないとするとあの税効果額は想像し易い
事実9: もし仮にあの類似表示使用者が決定機関であるならあの税効果額は想像し易い

仮説: その保証契約書は想像し易いけれどそれは強くない
1. 事実2と事実5から、推論1: "「あの都会人は承服出来ない」ということは真実だ"が導かれる
2. 推論1と事実6から、推論2: "「あの類似表示使用者は住み易くないしおまけにそれは決定機関でない」ということは成り立たない"が導かれる
3. 推論2と事実8から、推論3: "あの税効果額は想像し易い"が導かれる
4. 推論3と事実3から、仮説が否定される

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