その第一クラリネットは中世社会だ
fact1: 「あのＭＢＡは心強い」ということは確かである fact2: もし仮にとあるものは五十音別一覧なら「それは見辛くなくてその上心強くない」ということは成り立たない fact3: その近世前期は中世社会でない fact4: あのＭＢＡは蔵しない fact5: あのＭＢＡが見辛いかもしくはそれが心強いかまたは両方だとしたらその第一クラリネットは中世社会でない fact6: その第一クラリネットは中世社会であるかもしくは心強い fact7: もしあのＭＢＡが見辛いとしたらその第一クラリネットは中世社会でない fact8: あのＭＢＡは中世社会でない fact9: この妙法は見辛くない fact10: その第一クラリネットは心強いか中世社会であるかあるいは両方である
fact1 -> int1: あのＭＢＡは見辛いかもしくはそれは心強いかあるいは両方ともだ; int1 & fact5 -> hypothesis;
この副本部長は中世社会でない
fact11 -> int2: あのＭＢＡは五十音別一覧なら「それは見辛くなくてその上心強くない」ということは間違っている;
$facts$ = fact1: 「あのＭＢＡは心強い」ということは確かである fact2: もし仮にとあるものは五十音別一覧なら「それは見辛くなくてその上心強くない」ということは成り立たない fact3: その近世前期は中世社会でない fact4: あのＭＢＡは蔵しない fact5: あのＭＢＡが見辛いかもしくはそれが心強いかまたは両方だとしたらその第一クラリネットは中世社会でない fact6: その第一クラリネットは中世社会であるかもしくは心強い fact7: もしあのＭＢＡが見辛いとしたらその第一クラリネットは中世社会でない fact8: あのＭＢＡは中世社会でない fact9: この妙法は見辛くない fact10: その第一クラリネットは心強いか中世社会であるかあるいは両方である ; $hypothesis$ = その第一クラリネットは中世社会だ ; $proof$ = 
fact1 -> int1: あのＭＢＡは見辛いかもしくはそれは心強いかあるいは両方ともだ; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あのＭＢＡは心強い」ということは確かである
事実2: もし仮にとあるものは五十音別一覧なら「それは見辛くなくてその上心強くない」ということは成り立たない
事実3: その近世前期は中世社会でない
事実4: あのＭＢＡは蔵しない
事実5: あのＭＢＡが見辛いかもしくはそれが心強いかまたは両方だとしたらその第一クラリネットは中世社会でない
事実6: その第一クラリネットは中世社会であるかもしくは心強い
事実7: もしあのＭＢＡが見辛いとしたらその第一クラリネットは中世社会でない
事実8: あのＭＢＡは中世社会でない
事実9: この妙法は見辛くない
事実10: その第一クラリネットは心強いか中世社会であるかあるいは両方である

仮説: その第一クラリネットは中世社会だ
1. 事実1から、推論1: "あのＭＢＡは見辛いかもしくはそれは心強いかあるいは両方ともだ"が導かれる
2. 推論1と事実5から、仮説が否定される

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