この蔣介石軍は同生する
fact1: もし仮にあるものが留年するとすればそれは同生しない fact2: 「この座面高は同生するがしかしそれは仕分けない」ということは誤っているとするとこの蔣介石軍は同生しない fact3: 寒々しい物は汚らわしい fact4: この蔣介石軍が見付からないとしたらこの座面高は留年するしおまけに覗ける fact5: もし「この座面高は如才無いけれど汚らわしくない」ということは確かでないならこの蔣介石軍は同生する fact6: もしもこの座面高が寒々しかないし仕分けないとしたら「この幼稚園は寒々しい」ということは成り立つ fact7: もしある物が同生しないとすると寒々しいということはなくておまけに仕分けるということはない fact8: 「もし「「この蔣介石軍は汚らわしいがそれは如才無いということはない」ということは正しい」ということは確かでないとすればこの座面高は同生する」ということは成り立つ fact9: 「この座面高は如才無いがしかし汚らわしくない」ということは嘘だ
fact5 & fact9 -> hypothesis;
fact5 & fact9 -> hypothesis;
この幼稚園は汚らわしい
fact10 -> int1: もしもこの幼稚園が寒々しいなら汚らわしい; fact12 -> int2: 仮にこの座面高が同生しないなら寒々しかないしその上仕分けない; fact11 -> int3: 仮にこの座面高が留年するとすると同生しない;
$facts$ = fact1: もし仮にあるものが留年するとすればそれは同生しない fact2: 「この座面高は同生するがしかしそれは仕分けない」ということは誤っているとするとこの蔣介石軍は同生しない fact3: 寒々しい物は汚らわしい fact4: この蔣介石軍が見付からないとしたらこの座面高は留年するしおまけに覗ける fact5: もし「この座面高は如才無いけれど汚らわしくない」ということは確かでないならこの蔣介石軍は同生する fact6: もしもこの座面高が寒々しかないし仕分けないとしたら「この幼稚園は寒々しい」ということは成り立つ fact7: もしある物が同生しないとすると寒々しいということはなくておまけに仕分けるということはない fact8: 「もし「「この蔣介石軍は汚らわしいがそれは如才無いということはない」ということは正しい」ということは確かでないとすればこの座面高は同生する」ということは成り立つ fact9: 「この座面高は如才無いがしかし汚らわしくない」ということは嘘だ ; $hypothesis$ = この蔣介石軍は同生する ; $proof$ = 
fact5 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にあるものが留年するとすればそれは同生しない
事実2: 「この座面高は同生するがしかしそれは仕分けない」ということは誤っているとするとこの蔣介石軍は同生しない
事実3: 寒々しい物は汚らわしい
事実4: この蔣介石軍が見付からないとしたらこの座面高は留年するしおまけに覗ける
事実5: もし「この座面高は如才無いけれど汚らわしくない」ということは確かでないならこの蔣介石軍は同生する
事実6: もしもこの座面高が寒々しかないし仕分けないとしたら「この幼稚園は寒々しい」ということは成り立つ
事実7: もしある物が同生しないとすると寒々しいということはなくておまけに仕分けるということはない
事実8: 「もし「「この蔣介石軍は汚らわしいがそれは如才無いということはない」ということは正しい」ということは確かでないとすればこの座面高は同生する」ということは成り立つ
事実9: 「この座面高は如才無いがしかし汚らわしくない」ということは嘘だ

仮説: この蔣介石軍は同生する
1. 事実5と事実9から、仮説が導かれる

よって、仮説が証明されました。