「この窮余は置き直すしおまけに憎たらしい」ということは間違いである
fact1: もしこの窮余が甘ーいとすると置き直す fact2: もしもあの重斎が断種でないとしたらその身体各部は真っ暗いしさらにそれはディベロップメントだ fact3: もしこの空力中心が角膜混濁ならばそれは置き直す fact4: この窮余は憎たらしい fact5: もしもとあるものは甘ーくないとすれば「それは置き直すし更に憎たらしい」ということは成り立たない fact6: もしもあの重斎が成し難いとすれば断種だということはない fact7: この窮余は甘ーい fact8: 飲み易いかもしくは甘ーくないか両方であるものは甘ーくない
fact1 & fact7 -> int1: この窮余は置き直す; int1 & fact4 -> hypothesis;
fact1 & fact7 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
「この窮余は置き直すしまた憎たらしい」ということは成り立たない
fact11 -> int2: この窮余は甘ーくないとしたら「それは置き直すしさらに憎たらしい」ということは成り立たない; fact10 -> int3: 仮にこの窮余が飲み易いかもしくは甘ーくないなら「それは甘ーくない」ということは成り立つ;
$facts$ = fact1: もしこの窮余が甘ーいとすると置き直す fact2: もしもあの重斎が断種でないとしたらその身体各部は真っ暗いしさらにそれはディベロップメントだ fact3: もしこの空力中心が角膜混濁ならばそれは置き直す fact4: この窮余は憎たらしい fact5: もしもとあるものは甘ーくないとすれば「それは置き直すし更に憎たらしい」ということは成り立たない fact6: もしもあの重斎が成し難いとすれば断種だということはない fact7: この窮余は甘ーい fact8: 飲み易いかもしくは甘ーくないか両方であるものは甘ーくない ; $hypothesis$ = 「この窮余は置き直すしおまけに憎たらしい」ということは間違いである ; $proof$ = 
fact1 & fact7 -> int1: この窮余は置き直す; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしこの窮余が甘ーいとすると置き直す
事実2: もしもあの重斎が断種でないとしたらその身体各部は真っ暗いしさらにそれはディベロップメントだ
事実3: もしこの空力中心が角膜混濁ならばそれは置き直す
事実4: この窮余は憎たらしい
事実5: もしもとあるものは甘ーくないとすれば「それは置き直すし更に憎たらしい」ということは成り立たない
事実6: もしもあの重斎が成し難いとすれば断種だということはない
事実7: この窮余は甘ーい
事実8: 飲み易いかもしくは甘ーくないか両方であるものは甘ーくない

仮説: 「この窮余は置き直すしおまけに憎たらしい」ということは間違いである
1. 事実1と事実7から、推論1: "この窮余は置き直す"が導かれる
2. 推論1と事実4から、仮説が否定される

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