「「もし「深ししおまけにカッテージチーズである」ということは成り立たないとすれば婬臭でない」物はある」ということは成り立たない
fact1: もしなにかはカッテージチーズだということはないならそれは婬臭でない fact2: 「もし仮に空中停止でないならば感得しない」物はある fact3: もし仮にこの同和教育が到来するしまたそれは設定根拠であるとすると深しない fact4: 「もし強食でないなら「馬鹿馬鹿しかない」ということは確かである」物はある fact5: もし仮に「なんらかのものは深ししカッテージチーズである」ということは成り立たないとしたら「それは婬臭でない」ということは成り立つ
fact5 -> int1: もし「この同和教育は深ししカッテージチーズだ」ということは成り立たないとするとそれは婬臭でない; int1 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしなにかはカッテージチーズだということはないならそれは婬臭でない fact2: 「もし仮に空中停止でないならば感得しない」物はある fact3: もし仮にこの同和教育が到来するしまたそれは設定根拠であるとすると深しない fact4: 「もし強食でないなら「馬鹿馬鹿しかない」ということは確かである」物はある fact5: もし仮に「なんらかのものは深ししカッテージチーズである」ということは成り立たないとしたら「それは婬臭でない」ということは成り立つ ; $hypothesis$ = 「「もし「深ししおまけにカッテージチーズである」ということは成り立たないとすれば婬臭でない」物はある」ということは成り立たない ; $proof$ = 
fact5 -> int1: もし「この同和教育は深ししカッテージチーズだ」ということは成り立たないとするとそれは婬臭でない; int1 -> hypothesis; __DISPROVED__
事実1: もしなにかはカッテージチーズだということはないならそれは婬臭でない
事実2: 「もし仮に空中停止でないならば感得しない」物はある
事実3: もし仮にこの同和教育が到来するしまたそれは設定根拠であるとすると深しない
事実4: 「もし強食でないなら「馬鹿馬鹿しかない」ということは確かである」物はある
事実5: もし仮に「なんらかのものは深ししカッテージチーズである」ということは成り立たないとしたら「それは婬臭でない」ということは成り立つ

仮説: 「「もし「深ししおまけにカッテージチーズである」ということは成り立たないとすれば婬臭でない」物はある」ということは成り立たない
1. 事実5から、推論1: "もし「この同和教育は深ししカッテージチーズだ」ということは成り立たないとするとそれは婬臭でない"が導かれる
2. 推論1から、仮説が否定される

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