「「「潮吹きでないけれど果てする」ということは成り立たない」ものはある」ということは間違いである
fact1: とあるものは潮吹きでないがしかしそれは果てする fact2: もしこの古伝は表面化しないならば「あの全身状態は狡賢くないがプライベートブランドだ」ということは偽である fact3: もしも「共な」ものはあるなら「この介護保険導入は暗くない一方ででかい」ということは事実でない fact4: 「「潮吹きであるしその上果てする」ということは成り立たない」物はある fact5: 何かは表面化する fact6: もし仮にある物は表面化すれば「あの全身状態は潮吹きでないが果てする」ということは事実と異なる fact7: もし仮に「なにかは心強い」ということは真実であるならば「あの全身状態は久しくて加えて馴染み深い」ということは成り立たない fact8: もしとあるものは表面化するなら「あの全身状態は潮吹きでそれは果てする」ということは事実と異なる
fact5 & fact6 -> int1: 「あの全身状態は潮吹きでないけど果てする」ということは間違いである; int1 -> hypothesis;
fact5 & fact6 -> int1: ¬(¬{B}{a} & {C}{a}); int1 -> hypothesis;
「「狡賢くなくて更にプライベートブランドだ」ということは誤っている」ものはある
$facts$ = fact1: とあるものは潮吹きでないがしかしそれは果てする fact2: もしこの古伝は表面化しないならば「あの全身状態は狡賢くないがプライベートブランドだ」ということは偽である fact3: もしも「共な」ものはあるなら「この介護保険導入は暗くない一方ででかい」ということは事実でない fact4: 「「潮吹きであるしその上果てする」ということは成り立たない」物はある fact5: 何かは表面化する fact6: もし仮にある物は表面化すれば「あの全身状態は潮吹きでないが果てする」ということは事実と異なる fact7: もし仮に「なにかは心強い」ということは真実であるならば「あの全身状態は久しくて加えて馴染み深い」ということは成り立たない fact8: もしとあるものは表面化するなら「あの全身状態は潮吹きでそれは果てする」ということは事実と異なる ; $hypothesis$ = 「「「潮吹きでないけれど果てする」ということは成り立たない」ものはある」ということは間違いである ; $proof$ = 
fact5 & fact6 -> int1: 「あの全身状態は潮吹きでないけど果てする」ということは間違いである; int1 -> hypothesis; __DISPROVED__
事実1: とあるものは潮吹きでないがしかしそれは果てする
事実2: もしこの古伝は表面化しないならば「あの全身状態は狡賢くないがプライベートブランドだ」ということは偽である
事実3: もしも「共な」ものはあるなら「この介護保険導入は暗くない一方ででかい」ということは事実でない
事実4: 「「潮吹きであるしその上果てする」ということは成り立たない」物はある
事実5: 何かは表面化する
事実6: もし仮にある物は表面化すれば「あの全身状態は潮吹きでないが果てする」ということは事実と異なる
事実7: もし仮に「なにかは心強い」ということは真実であるならば「あの全身状態は久しくて加えて馴染み深い」ということは成り立たない
事実8: もしとあるものは表面化するなら「あの全身状態は潮吹きでそれは果てする」ということは事実と異なる

仮説: 「「「潮吹きでないけれど果てする」ということは成り立たない」ものはある」ということは間違いである
1. 事実5と事実6から、推論1: "「あの全身状態は潮吹きでないけど果てする」ということは間違いである"が導かれる
2. 推論1から、仮説が否定される

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