そのＯツープラスは石器時代でないかあるいは貿易パターンであるかどちらもである
fact1: 「そのＯツープラスは忝くないがそれは中間点である」ということは間違っている fact2: そのＯツープラスが忝いとすればそれは石器時代でない fact3: そのＯツープラスは石器時代であるかそれは貿易パターンであるか両方ともである fact4: 「「そのＯツープラスは忝いしさらに中間点だ」ということは誤りである」ということは確かだ fact5: もし何かは貿易パターンならば「それは硬直しないし渡船施設だ」ということは間違いである fact6: 「もし仮になにかは近侍しないとしたら「石器時代でないかまたはそれは貿易パターンであるかあるいは両方だ」ということは嘘だ」ということは事実だ fact7: そのＯツープラスは齲歯でないかあるいは貿易パターンであるかもしくはどちらもだ fact8: そのＯツープラスは番えらない fact9: 「そのＯツープラスは忝くないけど中間点である」ということは事実と異なれば「それは石器時代でない」ということは真実である
fact9 & fact1 -> int1: そのＯツープラスは石器時代でない; int1 -> hypothesis;
fact9 & fact1 -> int1: ¬{B}{a}; int1 -> hypothesis;
「その柴田罫線は硬直しないが渡船施設だ」ということは事実と異なる
fact10 -> int2: 仮にその柴田罫線は貿易パターンであるならば「硬直しない一方で渡船施設だ」ということは嘘だ;
$facts$ = fact1: 「そのＯツープラスは忝くないがそれは中間点である」ということは間違っている fact2: そのＯツープラスが忝いとすればそれは石器時代でない fact3: そのＯツープラスは石器時代であるかそれは貿易パターンであるか両方ともである fact4: 「「そのＯツープラスは忝いしさらに中間点だ」ということは誤りである」ということは確かだ fact5: もし何かは貿易パターンならば「それは硬直しないし渡船施設だ」ということは間違いである fact6: 「もし仮になにかは近侍しないとしたら「石器時代でないかまたはそれは貿易パターンであるかあるいは両方だ」ということは嘘だ」ということは事実だ fact7: そのＯツープラスは齲歯でないかあるいは貿易パターンであるかもしくはどちらもだ fact8: そのＯツープラスは番えらない fact9: 「そのＯツープラスは忝くないけど中間点である」ということは事実と異なれば「それは石器時代でない」ということは真実である ; $hypothesis$ = そのＯツープラスは石器時代でないかあるいは貿易パターンであるかどちらもである ; $proof$ = 
fact9 & fact1 -> int1: そのＯツープラスは石器時代でない; int1 -> hypothesis; __PROVED__
事実1: 「そのＯツープラスは忝くないがそれは中間点である」ということは間違っている
事実2: そのＯツープラスが忝いとすればそれは石器時代でない
事実3: そのＯツープラスは石器時代であるかそれは貿易パターンであるか両方ともである
事実4: 「「そのＯツープラスは忝いしさらに中間点だ」ということは誤りである」ということは確かだ
事実5: もし何かは貿易パターンならば「それは硬直しないし渡船施設だ」ということは間違いである
事実6: 「もし仮になにかは近侍しないとしたら「石器時代でないかまたはそれは貿易パターンであるかあるいは両方だ」ということは嘘だ」ということは事実だ
事実7: そのＯツープラスは齲歯でないかあるいは貿易パターンであるかもしくはどちらもだ
事実8: そのＯツープラスは番えらない
事実9: 「そのＯツープラスは忝くないけど中間点である」ということは事実と異なれば「それは石器時代でない」ということは真実である

仮説: そのＯツープラスは石器時代でないかあるいは貿易パターンであるかどちらもである
1. 事実9と事実1から、推論1: "そのＯツープラスは石器時代でない"が導かれる
2. 推論1から、仮説が導かれる

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