「その世界最古は物珍しいかあるいは外耳道であるか両方ともだ」ということは偽である
fact1: この検視官は女性雑誌であるということはない一方で班給する fact2: この検視官はサーカスでない一方で集成する fact3: もしもその世界最古が集成するし加えてサーカスであるとするとこの検視官は外耳道である fact4: その世界最古はぱちぱちしない fact5: 仮にその世界最古が物珍しいということはないがしかし集成するとしたらこの検視官は外耳道である fact6: 仮にこの検視官は付着し易くないとしたら「その世界最古は物珍しいかあるいはそれは外耳道であるかまたは両方である」ということは成り立たない fact7: もしも「この検視官はサーカスでないがしかし集成する」ということは嘘でないならその世界最古は外耳道である fact8: この検視官は物珍しくない一方でそれは集成する fact9: その世界最古は受領であるということはない fact10: もし仮にこの検視官が外耳道だということはない一方で集成するならばあの世界最古は物珍しい fact11: もしもこの検視官が物珍しくないが外耳道だとするとその世界最古は集成する fact12: もしもこの検視官が物珍しくないならばこの言語表現は集成しないけれど共産党軍だ
fact7 & fact2 -> int1: その世界最古は外耳道だ; int1 -> hypothesis;
この言語表現は集成しないが共産党軍である
$facts$ = fact1: この検視官は女性雑誌であるということはない一方で班給する fact2: この検視官はサーカスでない一方で集成する fact3: もしもその世界最古が集成するし加えてサーカスであるとするとこの検視官は外耳道である fact4: その世界最古はぱちぱちしない fact5: 仮にその世界最古が物珍しいということはないがしかし集成するとしたらこの検視官は外耳道である fact6: 仮にこの検視官は付着し易くないとしたら「その世界最古は物珍しいかあるいはそれは外耳道であるかまたは両方である」ということは成り立たない fact7: もしも「この検視官はサーカスでないがしかし集成する」ということは嘘でないならその世界最古は外耳道である fact8: この検視官は物珍しくない一方でそれは集成する fact9: その世界最古は受領であるということはない fact10: もし仮にこの検視官が外耳道だということはない一方で集成するならばあの世界最古は物珍しい fact11: もしもこの検視官が物珍しくないが外耳道だとするとその世界最古は集成する fact12: もしもこの検視官が物珍しくないならばこの言語表現は集成しないけれど共産党軍だ ; $hypothesis$ = 「その世界最古は物珍しいかあるいは外耳道であるか両方ともだ」ということは偽である ; $proof$ = 
fact7 & fact2 -> int1: その世界最古は外耳道だ; int1 -> hypothesis; __DISPROVED__
事実1: この検視官は女性雑誌であるということはない一方で班給する
事実2: この検視官はサーカスでない一方で集成する
事実3: もしもその世界最古が集成するし加えてサーカスであるとするとこの検視官は外耳道である
事実4: その世界最古はぱちぱちしない
事実5: 仮にその世界最古が物珍しいということはないがしかし集成するとしたらこの検視官は外耳道である
事実6: 仮にこの検視官は付着し易くないとしたら「その世界最古は物珍しいかあるいはそれは外耳道であるかまたは両方である」ということは成り立たない
事実7: もしも「この検視官はサーカスでないがしかし集成する」ということは嘘でないならその世界最古は外耳道である
事実8: この検視官は物珍しくない一方でそれは集成する
事実9: その世界最古は受領であるということはない
事実10: もし仮にこの検視官が外耳道だということはない一方で集成するならばあの世界最古は物珍しい
事実11: もしもこの検視官が物珍しくないが外耳道だとするとその世界最古は集成する
事実12: もしもこの検視官が物珍しくないならばこの言語表現は集成しないけれど共産党軍だ

仮説: 「その世界最古は物珍しいかあるいは外耳道であるか両方ともだ」ということは偽である
1. 事実7と事実2から、推論1: "その世界最古は外耳道だ"が導かれる
2. 推論1から、仮説が否定される

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