その洗面台ユニットは堆肥化するということはない
fact1: 「生き易いかサイクルアートであるかどちらもである」物はある fact2: なんらかのものが生き易いかサイクルアートでないならばその洗面台ユニットは堆肥化しない fact3: もしもとある物は真精神でないならば「サイクルアートだしそれは生き易い」ということは本当でない fact4: あのテクノは生き易い
fact4 -> int1: あのテクノは生き易いかもしくはそれはサイクルアートでない; int1 -> int2: 「生き易いかあるいはサイクルアートでない」物はある; int2 & fact2 -> hypothesis;
fact4 -> int1: ({A}{a} v ¬{B}{a}); int1 -> int2: (Ex): ({A}x v ¬{B}x); int2 & fact2 -> hypothesis;
その洗面台ユニットは堆肥化する
fact5 -> int3: 仮にあのテクノは真精神でないならば「それはサイクルアートでそれは生き易い」ということは成り立たない;
$facts$ = fact1: 「生き易いかサイクルアートであるかどちらもである」物はある fact2: なんらかのものが生き易いかサイクルアートでないならばその洗面台ユニットは堆肥化しない fact3: もしもとある物は真精神でないならば「サイクルアートだしそれは生き易い」ということは本当でない fact4: あのテクノは生き易い ; $hypothesis$ = その洗面台ユニットは堆肥化するということはない ; $proof$ = 
fact4 -> int1: あのテクノは生き易いかもしくはそれはサイクルアートでない; int1 -> int2: 「生き易いかあるいはサイクルアートでない」物はある; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「生き易いかサイクルアートであるかどちらもである」物はある
事実2: なんらかのものが生き易いかサイクルアートでないならばその洗面台ユニットは堆肥化しない
事実3: もしもとある物は真精神でないならば「サイクルアートだしそれは生き易い」ということは本当でない
事実4: あのテクノは生き易い

仮説: その洗面台ユニットは堆肥化するということはない
1. 事実4から、推論1: "あのテクノは生き易いかもしくはそれはサイクルアートでない"が導かれる
2. 推論1から、推論2: "「生き易いかあるいはサイクルアートでない」物はある"が導かれる
3. 推論2と事実2から、仮説が導かれる

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