その十二式太極拳は両内腿だ
fact1: 「その倹約は血清検査だということはないが局所だ」ということは成り立たない fact2: 「その倹約は血清検査でおまけに局所だ」ということは成り立たない fact3: 「その倹約は両内腿でないがそれは血清検査である」ということは偽だとすればその十二式太極拳は局所であるということはない fact4: もし「その倹約は血清検査だということはないがそれは局所だ」ということは嘘だとしたらその十二式太極拳は両内腿でない fact5: 「その十二式太極拳は局所でないがしかしそれは両内腿である」ということは間違いであるとすればあの倹約は血清検査でない fact6: 白っぽくない物は両内腿であるしその上サドルである fact7: もしも「その倹約は血清検査である」ということは正しいならその十二式太極拳は両内腿でない fact8: 「その倹約は血清検査でないけれど両内腿だ」ということは偽だ
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
その十二式太極拳は両内腿だ
fact9 -> int1: その十二式太極拳が白っぽくないとしたら両内腿だしそれにサドルだ;
$facts$ = fact1: 「その倹約は血清検査だということはないが局所だ」ということは成り立たない fact2: 「その倹約は血清検査でおまけに局所だ」ということは成り立たない fact3: 「その倹約は両内腿でないがそれは血清検査である」ということは偽だとすればその十二式太極拳は局所であるということはない fact4: もし「その倹約は血清検査だということはないがそれは局所だ」ということは嘘だとしたらその十二式太極拳は両内腿でない fact5: 「その十二式太極拳は局所でないがしかしそれは両内腿である」ということは間違いであるとすればあの倹約は血清検査でない fact6: 白っぽくない物は両内腿であるしその上サドルである fact7: もしも「その倹約は血清検査である」ということは正しいならその十二式太極拳は両内腿でない fact8: 「その倹約は血清検査でないけれど両内腿だ」ということは偽だ ; $hypothesis$ = その十二式太極拳は両内腿だ ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: 「その倹約は血清検査だということはないが局所だ」ということは成り立たない
事実2: 「その倹約は血清検査でおまけに局所だ」ということは成り立たない
事実3: 「その倹約は両内腿でないがそれは血清検査である」ということは偽だとすればその十二式太極拳は局所であるということはない
事実4: もし「その倹約は血清検査だということはないがそれは局所だ」ということは嘘だとしたらその十二式太極拳は両内腿でない
事実5: 「その十二式太極拳は局所でないがしかしそれは両内腿である」ということは間違いであるとすればあの倹約は血清検査でない
事実6: 白っぽくない物は両内腿であるしその上サドルである
事実7: もしも「その倹約は血清検査である」ということは正しいならその十二式太極拳は両内腿でない
事実8: 「その倹約は血清検査でないけれど両内腿だ」ということは偽だ

仮説: その十二式太極拳は両内腿だ
1. 事実4と事実1から、仮説が否定される

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