その遠流は新しくないしそれにそれは共同企業でない
fact1: あの十八〜十九世紀は国内地なら「その遠流は看過し難くないしまたそれは新しくない」ということは成り立たない fact2: もしもあの十八〜十九世紀が充放電するとすればそれは国内地であるかまたはそれは第五クラスタでない fact3: 「そのシャープさはしおらしい」ということは確かだ fact4: もしその顔馴染みが看過し難いということはないとしたらそのシャープさはしおらしい fact5: もし仮にある物は国内地であるかまたは第五クラスタでないとしたらそれは国内地である fact6: もしその顔馴染みが看過し難くないとしたらそのシャープさは共同企業でかつしおらしい fact7: その顔馴染みは看過し難くない fact8: もしそのシャープさが共同企業であるならばその遠流は新しくないし共同企業でない fact9: もし仮にそのシャープさが共同企業であるとすればあの遠流は共同企業でない
fact6 & fact7 -> int1: そのシャープさは共同企業でかつしおらしい; int1 -> int2: そのシャープさは共同企業である; int2 & fact8 -> hypothesis;
fact6 & fact7 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact8 -> hypothesis;
その顔馴染みは新しいししかもすーごい
fact11 -> int3: あの十八〜十九世紀は国内地であるかもしくは第五クラスタでないかまたは両方ともだとしたらそれは国内地である;
$facts$ = fact1: あの十八〜十九世紀は国内地なら「その遠流は看過し難くないしまたそれは新しくない」ということは成り立たない fact2: もしもあの十八〜十九世紀が充放電するとすればそれは国内地であるかまたはそれは第五クラスタでない fact3: 「そのシャープさはしおらしい」ということは確かだ fact4: もしその顔馴染みが看過し難いということはないとしたらそのシャープさはしおらしい fact5: もし仮にある物は国内地であるかまたは第五クラスタでないとしたらそれは国内地である fact6: もしその顔馴染みが看過し難くないとしたらそのシャープさは共同企業でかつしおらしい fact7: その顔馴染みは看過し難くない fact8: もしそのシャープさが共同企業であるならばその遠流は新しくないし共同企業でない fact9: もし仮にそのシャープさが共同企業であるとすればあの遠流は共同企業でない ; $hypothesis$ = その遠流は新しくないしそれにそれは共同企業でない ; $proof$ = 
fact6 & fact7 -> int1: そのシャープさは共同企業でかつしおらしい; int1 -> int2: そのシャープさは共同企業である; int2 & fact8 -> hypothesis; __PROVED__
事実1: あの十八〜十九世紀は国内地なら「その遠流は看過し難くないしまたそれは新しくない」ということは成り立たない
事実2: もしもあの十八〜十九世紀が充放電するとすればそれは国内地であるかまたはそれは第五クラスタでない
事実3: 「そのシャープさはしおらしい」ということは確かだ
事実4: もしその顔馴染みが看過し難いということはないとしたらそのシャープさはしおらしい
事実5: もし仮にある物は国内地であるかまたは第五クラスタでないとしたらそれは国内地である
事実6: もしその顔馴染みが看過し難くないとしたらそのシャープさは共同企業でかつしおらしい
事実7: その顔馴染みは看過し難くない
事実8: もしそのシャープさが共同企業であるならばその遠流は新しくないし共同企業でない
事実9: もし仮にそのシャープさが共同企業であるとすればあの遠流は共同企業でない

仮説: その遠流は新しくないしそれにそれは共同企業でない
1. 事実6と事実7から、推論1: "そのシャープさは共同企業でかつしおらしい"が導かれる
2. 推論1から、推論2: "そのシャープさは共同企業である"が導かれる
3. 推論2と事実8から、仮説が導かれる

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