あのダンスフロアは減価償却しない
fact1: あのダンスフロアは隙間無い fact2: あのダンスフロアは隙間無いし加えて洗浄する fact3: 「あのダンスフロアは違い」ということは事実だ fact4: もし憎い物が洗浄するとしたらそれは減価償却しない fact5: 「あのダンスフロアは違い」ということは成り立つとするとそれは憎い
fact2 -> int1: 「あのダンスフロアは洗浄する」ということは本当である; fact3 & fact5 -> int2: あのダンスフロアは憎い; int1 & int2 -> int3: あのダンスフロアは憎くておまけに洗浄する; fact4 -> int4: もし仮にあのダンスフロアが憎くてそれが洗浄するとすると減価償却しない; int3 & int4 -> hypothesis;
fact2 -> int1: {B}{a}; fact3 & fact5 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); fact4 -> int4: ({C}{a} & {B}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: あのダンスフロアは隙間無い fact2: あのダンスフロアは隙間無いし加えて洗浄する fact3: 「あのダンスフロアは違い」ということは事実だ fact4: もし憎い物が洗浄するとしたらそれは減価償却しない fact5: 「あのダンスフロアは違い」ということは成り立つとするとそれは憎い ; $hypothesis$ = あのダンスフロアは減価償却しない ; $proof$ = 
fact2 -> int1: 「あのダンスフロアは洗浄する」ということは本当である; fact3 & fact5 -> int2: あのダンスフロアは憎い; int1 & int2 -> int3: あのダンスフロアは憎くておまけに洗浄する; fact4 -> int4: もし仮にあのダンスフロアが憎くてそれが洗浄するとすると減価償却しない; int3 & int4 -> hypothesis; __PROVED__
事実1: あのダンスフロアは隙間無い
事実2: あのダンスフロアは隙間無いし加えて洗浄する
事実3: 「あのダンスフロアは違い」ということは事実だ
事実4: もし憎い物が洗浄するとしたらそれは減価償却しない
事実5: 「あのダンスフロアは違い」ということは成り立つとするとそれは憎い

仮説: あのダンスフロアは減価償却しない
1. 事実2から、推論1: "「あのダンスフロアは洗浄する」ということは本当である"が導かれる
2. 事実3と事実5から、推論2: "あのダンスフロアは憎い"が導かれる
3. 推論1と推論2から、推論3: "あのダンスフロアは憎くておまけに洗浄する"が導かれる
4. 事実4から、推論4: "もし仮にあのダンスフロアが憎くてそれが洗浄するとすると減価償却しない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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