この心太は証明する
fact1: もし仮になんらかのものは布石でないならばそれは証明する fact2: もし仮にこの基本語順が証明しないしおまけに浮き易くないとしたらこの心太は証明しない fact3: この百一号線は布石だということはない一方でそれは取れ易い fact4: この心太は事業代行終了である fact5: このＮＡＧは浮き易い fact6: 「「その小胞は自給率であるけれど打っ倒れない」ということは誤っていない」ということは成り立たないならばあの基本語順は布石でない fact7: 「その小胞は打っ倒れないか浮き易いかもしくはどちらもである」ということは成り立たないならばこの基本語順は浮き易い fact8: この心太は浮き易い fact9: もしもあるものは地理的範囲でないならば「それは自給率だがしかし打っ倒れない」ということは成り立たない fact10: この心太は布石でない一方でそれは浮き易い
fact1 -> int1: もしもこの心太は布石でないとしたらそれは証明する; fact10 -> int2: この心太は布石でない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; fact10 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
「その教養人は布石だ」ということは真実だ
$facts$ = fact1: もし仮になんらかのものは布石でないならばそれは証明する fact2: もし仮にこの基本語順が証明しないしおまけに浮き易くないとしたらこの心太は証明しない fact3: この百一号線は布石だということはない一方でそれは取れ易い fact4: この心太は事業代行終了である fact5: このＮＡＧは浮き易い fact6: 「「その小胞は自給率であるけれど打っ倒れない」ということは誤っていない」ということは成り立たないならばあの基本語順は布石でない fact7: 「その小胞は打っ倒れないか浮き易いかもしくはどちらもである」ということは成り立たないならばこの基本語順は浮き易い fact8: この心太は浮き易い fact9: もしもあるものは地理的範囲でないならば「それは自給率だがしかし打っ倒れない」ということは成り立たない fact10: この心太は布石でない一方でそれは浮き易い ; $hypothesis$ = この心太は証明する ; $proof$ = 
fact1 -> int1: もしもこの心太は布石でないとしたらそれは証明する; fact10 -> int2: この心太は布石でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは布石でないならばそれは証明する
事実2: もし仮にこの基本語順が証明しないしおまけに浮き易くないとしたらこの心太は証明しない
事実3: この百一号線は布石だということはない一方でそれは取れ易い
事実4: この心太は事業代行終了である
事実5: このＮＡＧは浮き易い
事実6: 「「その小胞は自給率であるけれど打っ倒れない」ということは誤っていない」ということは成り立たないならばあの基本語順は布石でない
事実7: 「その小胞は打っ倒れないか浮き易いかもしくはどちらもである」ということは成り立たないならばこの基本語順は浮き易い
事実8: この心太は浮き易い
事実9: もしもあるものは地理的範囲でないならば「それは自給率だがしかし打っ倒れない」ということは成り立たない
事実10: この心太は布石でない一方でそれは浮き易い

仮説: この心太は証明する
1. 事実1から、推論1: "もしもこの心太は布石でないとしたらそれは証明する"が導かれる
2. 事実10から、推論2: "この心太は布石でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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