そのエクステリアは床しいということはない
fact1: その三語はアドレス欄だ fact2: 「その三語は初代豊国であるということはないし弱しない」ということは偽ならばこの胸腔ドレナージは弱し fact3: そのエクステリアは初代豊国であるしさらにそれは平積みする fact4: もし「そのエクステリアはアドレス欄でない」ということは成り立つとすればそれは平積みするかもしくはそれは難渋する fact5: なにかは平積みするし難渋するなら床しかない fact6: 仮にその三語はアドレス欄であるなら「そのエクステリアは難渋する」ということは成り立つ
fact3 -> int1: そのエクステリアは平積みする; fact1 & fact6 -> int2: 「そのエクステリアは難渋する」ということは事実である; int1 & int2 -> int3: そのエクステリアは平積みするしそれに難渋する; fact5 -> int4: もしもそのエクステリアが平積みするししかも難渋するなら床しかない; int3 & int4 -> hypothesis;
この胸腔ドレナージは田舎臭いしさらに弱し
$facts$ = fact1: その三語はアドレス欄だ fact2: 「その三語は初代豊国であるということはないし弱しない」ということは偽ならばこの胸腔ドレナージは弱し fact3: そのエクステリアは初代豊国であるしさらにそれは平積みする fact4: もし「そのエクステリアはアドレス欄でない」ということは成り立つとすればそれは平積みするかもしくはそれは難渋する fact5: なにかは平積みするし難渋するなら床しかない fact6: 仮にその三語はアドレス欄であるなら「そのエクステリアは難渋する」ということは成り立つ ; $hypothesis$ = そのエクステリアは床しいということはない ; $proof$ = 
fact3 -> int1: そのエクステリアは平積みする; fact1 & fact6 -> int2: 「そのエクステリアは難渋する」ということは事実である; int1 & int2 -> int3: そのエクステリアは平積みするしそれに難渋する; fact5 -> int4: もしもそのエクステリアが平積みするししかも難渋するなら床しかない; int3 & int4 -> hypothesis; __PROVED__
事実1: その三語はアドレス欄だ
事実2: 「その三語は初代豊国であるということはないし弱しない」ということは偽ならばこの胸腔ドレナージは弱し
事実3: そのエクステリアは初代豊国であるしさらにそれは平積みする
事実4: もし「そのエクステリアはアドレス欄でない」ということは成り立つとすればそれは平積みするかもしくはそれは難渋する
事実5: なにかは平積みするし難渋するなら床しかない
事実6: 仮にその三語はアドレス欄であるなら「そのエクステリアは難渋する」ということは成り立つ

仮説: そのエクステリアは床しいということはない
1. 事実3から、推論1: "そのエクステリアは平積みする"が導かれる
2. 事実1と事実6から、推論2: "「そのエクステリアは難渋する」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "そのエクステリアは平積みするしそれに難渋する"が導かれる
4. 事実5から、推論4: "もしもそのエクステリアが平積みするししかも難渋するなら床しかない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。