このミスター・スターリングは自然集団でない
fact1: もしも「何かは胸裏でないけどカイゼルだ」ということは成り立たないとすればサン・アントニオ・デ・ラ・フロリダ教会でない fact2: もしもこのミスター・スターリングは執政官であるとしたら自然集団だ fact3: このミスター・スターリングは待遇するということはないけれど執政官である fact4: 何かは後ろ暗い fact5: 「このミスター・スターリングは待遇するということはない」ということは確かだ fact6: もし仮になにがしかのものが執政官でないかもしくはサン・アントニオ・デ・ラ・フロリダ教会であるなら待遇しない fact7: あらゆる物は胸裏である
fact3 -> int1: このミスター・スターリングは執政官だ; int1 & fact2 -> hypothesis;
このミスター・スターリングは自然集団でない
fact8 -> int2: もしこのミスター・スターリングが執政官でないかもしくはサン・アントニオ・デ・ラ・フロリダ教会であるとしたら「待遇しない」ということは本当である; fact9 -> int3: あの特定事項は胸裏だ;
$facts$ = fact1: もしも「何かは胸裏でないけどカイゼルだ」ということは成り立たないとすればサン・アントニオ・デ・ラ・フロリダ教会でない fact2: もしもこのミスター・スターリングは執政官であるとしたら自然集団だ fact3: このミスター・スターリングは待遇するということはないけれど執政官である fact4: 何かは後ろ暗い fact5: 「このミスター・スターリングは待遇するということはない」ということは確かだ fact6: もし仮になにがしかのものが執政官でないかもしくはサン・アントニオ・デ・ラ・フロリダ教会であるなら待遇しない fact7: あらゆる物は胸裏である ; $hypothesis$ = このミスター・スターリングは自然集団でない ; $proof$ = 
fact3 -> int1: このミスター・スターリングは執政官だ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「何かは胸裏でないけどカイゼルだ」ということは成り立たないとすればサン・アントニオ・デ・ラ・フロリダ教会でない
事実2: もしもこのミスター・スターリングは執政官であるとしたら自然集団だ
事実3: このミスター・スターリングは待遇するということはないけれど執政官である
事実4: 何かは後ろ暗い
事実5: 「このミスター・スターリングは待遇するということはない」ということは確かだ
事実6: もし仮になにがしかのものが執政官でないかもしくはサン・アントニオ・デ・ラ・フロリダ教会であるなら待遇しない
事実7: あらゆる物は胸裏である

仮説: このミスター・スターリングは自然集団でない
1. 事実3から、推論1: "このミスター・スターリングは執政官だ"が導かれる
2. 推論1と事実2から、仮説が否定される

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