この柳刃包丁は溶出しない
fact1: 全ての物は聡くなくて更に高ぶり過ぎる fact2: もしもそのＳＩ単位系が高ぶり過ぎるし更に溶出するとするとこの柳刃包丁は溶出しない fact3: もしも「聡いし高ぶり過ぎる」ものがあればこの柳刃包丁は溶出する fact4: あらゆる物は聡くない fact5: もし仮に「聡いということはないけど高ぶり過ぎる」ものがあるとすればこの柳刃包丁は溶出する fact6: この柳刃包丁が聡くないとするとその残存乳房は慣習化しない一方でそれは次ページだ fact7: その残存乳房は聡くない fact8: その残存乳房は喜ぶ
fact1 -> int1: その残存乳房は聡くない一方で高ぶり過ぎる; int1 -> int2: 「聡くないけど高ぶり過ぎる」ものはある; int2 & fact5 -> hypothesis;
その残存乳房は慣習化しないが次ページである
$facts$ = fact1: 全ての物は聡くなくて更に高ぶり過ぎる fact2: もしもそのＳＩ単位系が高ぶり過ぎるし更に溶出するとするとこの柳刃包丁は溶出しない fact3: もしも「聡いし高ぶり過ぎる」ものがあればこの柳刃包丁は溶出する fact4: あらゆる物は聡くない fact5: もし仮に「聡いということはないけど高ぶり過ぎる」ものがあるとすればこの柳刃包丁は溶出する fact6: この柳刃包丁が聡くないとするとその残存乳房は慣習化しない一方でそれは次ページだ fact7: その残存乳房は聡くない fact8: その残存乳房は喜ぶ ; $hypothesis$ = この柳刃包丁は溶出しない ; $proof$ = 
fact1 -> int1: その残存乳房は聡くない一方で高ぶり過ぎる; int1 -> int2: 「聡くないけど高ぶり過ぎる」ものはある; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 全ての物は聡くなくて更に高ぶり過ぎる
事実2: もしもそのＳＩ単位系が高ぶり過ぎるし更に溶出するとするとこの柳刃包丁は溶出しない
事実3: もしも「聡いし高ぶり過ぎる」ものがあればこの柳刃包丁は溶出する
事実4: あらゆる物は聡くない
事実5: もし仮に「聡いということはないけど高ぶり過ぎる」ものがあるとすればこの柳刃包丁は溶出する
事実6: この柳刃包丁が聡くないとするとその残存乳房は慣習化しない一方でそれは次ページだ
事実7: その残存乳房は聡くない
事実8: その残存乳房は喜ぶ

仮説: この柳刃包丁は溶出しない
1. 事実1から、推論1: "その残存乳房は聡くない一方で高ぶり過ぎる"が導かれる
2. 推論1から、推論2: "「聡くないけど高ぶり過ぎる」ものはある"が導かれる
3. 推論2と事実5から、仮説が否定される

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