あの大方針は合弁会社でない
fact1: あのライン左岸地域は晒され易い fact2: もしこのＢクラスが和人であるとするとあの大方針は合弁会社であるということはない fact3: もし仮になにかはカレッジでないとすればそれが和人だし合弁会社でない fact4: もし仮にこのＢクラスが和人だけれど合弁会社でないとすると「あの大杯は合弁会社である」ということは真実だ fact5: もし仮にこのＢクラスが和人であるということはないならあのライン左岸地域は晒され易い fact6: あのライン左岸地域が晒され易いけれど首尾良くないとしたらその再生手続きはカレッジである fact7: もし「なんらかのものはひ弱くないかまたはカレッジであるかもしくは両方ともだ」ということは誤っているとすれば和人である fact8: もしこのＢクラスが和人であるということはないとするとあのライン左岸地域は晒され易いけれど首尾良くない fact9: このＢクラスは和人でない fact10: あの大方針は和人であるということはない fact11: 仮にその再生手続きがカレッジならあの大方針は合弁会社だ
fact8 & fact9 -> int1: あのライン左岸地域は晒され易いが首尾良くない; int1 & fact6 -> int2: その再生手続きはカレッジだ; int2 & fact11 -> hypothesis;
あの大杯は合弁会社である
fact12 -> int3: このＢクラスはカレッジでないとしたら「それは和人である一方で合弁会社でない」ということは確かだ;
$facts$ = fact1: あのライン左岸地域は晒され易い fact2: もしこのＢクラスが和人であるとするとあの大方針は合弁会社であるということはない fact3: もし仮になにかはカレッジでないとすればそれが和人だし合弁会社でない fact4: もし仮にこのＢクラスが和人だけれど合弁会社でないとすると「あの大杯は合弁会社である」ということは真実だ fact5: もし仮にこのＢクラスが和人であるということはないならあのライン左岸地域は晒され易い fact6: あのライン左岸地域が晒され易いけれど首尾良くないとしたらその再生手続きはカレッジである fact7: もし「なんらかのものはひ弱くないかまたはカレッジであるかもしくは両方ともだ」ということは誤っているとすれば和人である fact8: もしこのＢクラスが和人であるということはないとするとあのライン左岸地域は晒され易いけれど首尾良くない fact9: このＢクラスは和人でない fact10: あの大方針は和人であるということはない fact11: 仮にその再生手続きがカレッジならあの大方針は合弁会社だ ; $hypothesis$ = あの大方針は合弁会社でない ; $proof$ = 
fact8 & fact9 -> int1: あのライン左岸地域は晒され易いが首尾良くない; int1 & fact6 -> int2: その再生手続きはカレッジだ; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: あのライン左岸地域は晒され易い
事実2: もしこのＢクラスが和人であるとするとあの大方針は合弁会社であるということはない
事実3: もし仮になにかはカレッジでないとすればそれが和人だし合弁会社でない
事実4: もし仮にこのＢクラスが和人だけれど合弁会社でないとすると「あの大杯は合弁会社である」ということは真実だ
事実5: もし仮にこのＢクラスが和人であるということはないならあのライン左岸地域は晒され易い
事実6: あのライン左岸地域が晒され易いけれど首尾良くないとしたらその再生手続きはカレッジである
事実7: もし「なんらかのものはひ弱くないかまたはカレッジであるかもしくは両方ともだ」ということは誤っているとすれば和人である
事実8: もしこのＢクラスが和人であるということはないとするとあのライン左岸地域は晒され易いけれど首尾良くない
事実9: このＢクラスは和人でない
事実10: あの大方針は和人であるということはない
事実11: 仮にその再生手続きがカレッジならあの大方針は合弁会社だ

仮説: あの大方針は合弁会社でない
1. 事実8と事実9から、推論1: "あのライン左岸地域は晒され易いが首尾良くない"が導かれる
2. 推論1と事実6から、推論2: "その再生手続きはカレッジだ"が導かれる
3. 推論2と事実11から、仮説が否定される

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