この入れ方は量子化する
fact1: 疲労し易くないものは量子化する fact2: あのロックウールマットは連合赤軍で苛々し易い fact3: 「あのロックウールマットは合意解除する」ということは成り立つ fact4: もしもあのロックウールマットが疲労し易いなら通り易くないしさらに植木鉢だ fact5: 「あのロックウールマットは通り易くてまた植木鉢だ」ということは間違っている fact6: この入れ方が量子化するとすればそれは疲労し易い fact7: もしもあのロックウールマットが歩き辛いならそれは御安くない一方で通り易い fact8: もしあのロックウールマットが補正出来るし瑞々しいとすればこの入れ方は量子化しない fact9: 「あのロックウールマットは通り易くないけど植木鉢だ」ということは成り立たない fact10: あのロックウールマットは下院議員だ fact11: あのロックウールマットは疲労し易くないとすればそれは生涯設計だ fact12: もし「あのロックウールマットは生涯設計である」ということは事実だとしたら補正出来る fact13: あのコマースは瑞々しい fact14: もしもあのロックウールマットが合意解除するとしたら瑞々しい
void -> assump1: 以下のように仮定する。「あのロックウールマットは疲労し易い」ということは本当だ; fact4 & assump1 -> int1: あのロックウールマットは通り易くない一方で植木鉢である; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのロックウールマットは疲労し易くない; int3 & fact11 -> int4: あのロックウールマットは生涯設計である; int4 & fact12 -> int5: あのロックウールマットは補正出来る; fact3 & fact14 -> int6: あのロックウールマットは瑞々しい; int5 & int6 -> int7: あのロックウールマットは補正出来るししかも瑞々しい; int7 & fact8 -> hypothesis;
「この入れ方は量子化する」ということは本当だ
fact15 -> int8: この入れ方は疲労し易くないならば量子化する;
$facts$ = fact1: 疲労し易くないものは量子化する fact2: あのロックウールマットは連合赤軍で苛々し易い fact3: 「あのロックウールマットは合意解除する」ということは成り立つ fact4: もしもあのロックウールマットが疲労し易いなら通り易くないしさらに植木鉢だ fact5: 「あのロックウールマットは通り易くてまた植木鉢だ」ということは間違っている fact6: この入れ方が量子化するとすればそれは疲労し易い fact7: もしもあのロックウールマットが歩き辛いならそれは御安くない一方で通り易い fact8: もしあのロックウールマットが補正出来るし瑞々しいとすればこの入れ方は量子化しない fact9: 「あのロックウールマットは通り易くないけど植木鉢だ」ということは成り立たない fact10: あのロックウールマットは下院議員だ fact11: あのロックウールマットは疲労し易くないとすればそれは生涯設計だ fact12: もし「あのロックウールマットは生涯設計である」ということは事実だとしたら補正出来る fact13: あのコマースは瑞々しい fact14: もしもあのロックウールマットが合意解除するとしたら瑞々しい ; $hypothesis$ = この入れ方は量子化する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのロックウールマットは疲労し易い」ということは本当だ; fact4 & assump1 -> int1: あのロックウールマットは通り易くない一方で植木鉢である; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのロックウールマットは疲労し易くない; int3 & fact11 -> int4: あのロックウールマットは生涯設計である; int4 & fact12 -> int5: あのロックウールマットは補正出来る; fact3 & fact14 -> int6: あのロックウールマットは瑞々しい; int5 & int6 -> int7: あのロックウールマットは補正出来るししかも瑞々しい; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: 疲労し易くないものは量子化する
事実2: あのロックウールマットは連合赤軍で苛々し易い
事実3: 「あのロックウールマットは合意解除する」ということは成り立つ
事実4: もしもあのロックウールマットが疲労し易いなら通り易くないしさらに植木鉢だ
事実5: 「あのロックウールマットは通り易くてまた植木鉢だ」ということは間違っている
事実6: この入れ方が量子化するとすればそれは疲労し易い
事実7: もしもあのロックウールマットが歩き辛いならそれは御安くない一方で通り易い
事実8: もしあのロックウールマットが補正出来るし瑞々しいとすればこの入れ方は量子化しない
事実9: 「あのロックウールマットは通り易くないけど植木鉢だ」ということは成り立たない
事実10: あのロックウールマットは下院議員だ
事実11: あのロックウールマットは疲労し易くないとすればそれは生涯設計だ
事実12: もし「あのロックウールマットは生涯設計である」ということは事実だとしたら補正出来る
事実13: あのコマースは瑞々しい
事実14: もしもあのロックウールマットが合意解除するとしたら瑞々しい

仮説: この入れ方は量子化する
1. 仮定1: 以下のように仮定する。「あのロックウールマットは疲労し易い」ということは本当だ
2. 事実4と仮定1から、推論1: "あのロックウールマットは通り易くない一方で植木鉢である"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのロックウールマットは疲労し易くない"が導かれる
5. 推論3と事実11から、推論4: "あのロックウールマットは生涯設計である"が導かれる
6. 推論4と事実12から、推論5: "あのロックウールマットは補正出来る"が導かれる
7. 事実3と事実14から、推論6: "あのロックウールマットは瑞々しい"が導かれる
8. 推論5と推論6から、推論7: "あのロックウールマットは補正出来るししかも瑞々しい"が導かれる
9. 推論7と事実8から、仮説が否定される

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