この通常複数はヘリコプターだ
fact1: もしもこの観察単位が疚しいということはないしさらに起訴しないとしたらその養父母は疚しくない fact2: もし仮にとあるものがヘリコプターである一方で定本でないとすればこの通常複数は野生動物だ fact3: 何かは縁だ一方で打ち下ろさない fact4: もしも縁がトランプであるとしたらこの通常複数は下ろし易い fact5: 仮になにがしかのものが縁だけれど打ち下ろさないとするとこの通常複数はヘリコプターだ fact6: 仮になんらかの物が疚しいということはないとすると打ち下ろす fact7: もしも熱し易いものが腹水でないならそのオペラ座は打ち下ろす fact8: 「「その養父母は縁でないしそれはヘリコプターでない」ということは誤っていない」ということは本当だということはないとしたらこの通常複数はヘリコプターだということはない fact9: もしなにかは打ち下ろせば「縁でないしそれにヘリコプターでない」ということは間違っている fact10: なんらかのものが休・廃止しないとすると疚しくないし起訴しない fact11: とある物は打ち下ろさない fact12: もしも何らかの物が打ち下ろすしおまけに侘しいならこの通常複数は折り入る
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
この通常複数はヘリコプターであるということはない
fact15 -> int1: もしもその養父母は打ち下ろすとしたら「縁でなくてしかもヘリコプターでない」ということは事実と異なる; fact17 -> int2: もし仮にその養父母が疚しいということはないとしたらそれは打ち下ろす; fact16 -> int3: もし仮にこの観察単位が休・廃止しないとするとそれが疚しくないしさらに起訴しない;
$facts$ = fact1: もしもこの観察単位が疚しいということはないしさらに起訴しないとしたらその養父母は疚しくない fact2: もし仮にとあるものがヘリコプターである一方で定本でないとすればこの通常複数は野生動物だ fact3: 何かは縁だ一方で打ち下ろさない fact4: もしも縁がトランプであるとしたらこの通常複数は下ろし易い fact5: 仮になにがしかのものが縁だけれど打ち下ろさないとするとこの通常複数はヘリコプターだ fact6: 仮になんらかの物が疚しいということはないとすると打ち下ろす fact7: もしも熱し易いものが腹水でないならそのオペラ座は打ち下ろす fact8: 「「その養父母は縁でないしそれはヘリコプターでない」ということは誤っていない」ということは本当だということはないとしたらこの通常複数はヘリコプターだということはない fact9: もしなにかは打ち下ろせば「縁でないしそれにヘリコプターでない」ということは間違っている fact10: なんらかのものが休・廃止しないとすると疚しくないし起訴しない fact11: とある物は打ち下ろさない fact12: もしも何らかの物が打ち下ろすしおまけに侘しいならこの通常複数は折り入る ; $hypothesis$ = この通常複数はヘリコプターだ ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの観察単位が疚しいということはないしさらに起訴しないとしたらその養父母は疚しくない
事実2: もし仮にとあるものがヘリコプターである一方で定本でないとすればこの通常複数は野生動物だ
事実3: 何かは縁だ一方で打ち下ろさない
事実4: もしも縁がトランプであるとしたらこの通常複数は下ろし易い
事実5: 仮になにがしかのものが縁だけれど打ち下ろさないとするとこの通常複数はヘリコプターだ
事実6: 仮になんらかの物が疚しいということはないとすると打ち下ろす
事実7: もしも熱し易いものが腹水でないならそのオペラ座は打ち下ろす
事実8: 「「その養父母は縁でないしそれはヘリコプターでない」ということは誤っていない」ということは本当だということはないとしたらこの通常複数はヘリコプターだということはない
事実9: もしなにかは打ち下ろせば「縁でないしそれにヘリコプターでない」ということは間違っている
事実10: なんらかのものが休・廃止しないとすると疚しくないし起訴しない
事実11: とある物は打ち下ろさない
事実12: もしも何らかの物が打ち下ろすしおまけに侘しいならこの通常複数は折り入る

仮説: この通常複数はヘリコプターだ
1. 事実3と事実5から、仮説が導かれる

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