この指定試験機関は客観的評価でない
fact1: もし仮にあの家族集団が早退しないとするとこの指定試験機関は座り続けない fact2: もしなんらかの物は再開しないしかつ座り続けないとすると客観的評価であるということはない fact3: もしもなにがしかのものが再開しないがそれが座り続けるとすれば客観的評価でない fact4: もし仮にあの家族集団が客観的評価であるならこの指定試験機関は客観的評価だ fact5: この指定試験機関は座り続けない fact6: もしもこの指定試験機関が再開するということはないがそれが座り続けるとすれば客観的評価でない fact7: あの家族集団は在廷するということはない fact8: 「あの家族集団は在廷するかあるいは蓮池でないかあるいは両方ともだ」ということは成り立たない fact9: もし仮に「あの家族集団は在廷するか蓮池だということはない」ということは成り立たないとすれば「それは早退しない」ということは真実だ fact10: もし仮にあの家族集団が早退しないならこの指定試験機関は再開しなくて座り続けない
fact9 & fact8 -> int1: 「あの家族集団は早退しない」ということは確かだ; int1 & fact10 -> int2: この指定試験機関は再開しないししかもそれは座り続けない; fact2 -> int3: もし仮にこの指定試験機関が再開しないし座り続けないならばそれは客観的評価でない; int2 & int3 -> hypothesis;
この指定試験機関は客観的評価である
$facts$ = fact1: もし仮にあの家族集団が早退しないとするとこの指定試験機関は座り続けない fact2: もしなんらかの物は再開しないしかつ座り続けないとすると客観的評価であるということはない fact3: もしもなにがしかのものが再開しないがそれが座り続けるとすれば客観的評価でない fact4: もし仮にあの家族集団が客観的評価であるならこの指定試験機関は客観的評価だ fact5: この指定試験機関は座り続けない fact6: もしもこの指定試験機関が再開するということはないがそれが座り続けるとすれば客観的評価でない fact7: あの家族集団は在廷するということはない fact8: 「あの家族集団は在廷するかあるいは蓮池でないかあるいは両方ともだ」ということは成り立たない fact9: もし仮に「あの家族集団は在廷するか蓮池だということはない」ということは成り立たないとすれば「それは早退しない」ということは真実だ fact10: もし仮にあの家族集団が早退しないならこの指定試験機関は再開しなくて座り続けない ; $hypothesis$ = この指定試験機関は客観的評価でない ; $proof$ = 
fact9 & fact8 -> int1: 「あの家族集団は早退しない」ということは確かだ; int1 & fact10 -> int2: この指定試験機関は再開しないししかもそれは座り続けない; fact2 -> int3: もし仮にこの指定試験機関が再開しないし座り続けないならばそれは客観的評価でない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にあの家族集団が早退しないとするとこの指定試験機関は座り続けない
事実2: もしなんらかの物は再開しないしかつ座り続けないとすると客観的評価であるということはない
事実3: もしもなにがしかのものが再開しないがそれが座り続けるとすれば客観的評価でない
事実4: もし仮にあの家族集団が客観的評価であるならこの指定試験機関は客観的評価だ
事実5: この指定試験機関は座り続けない
事実6: もしもこの指定試験機関が再開するということはないがそれが座り続けるとすれば客観的評価でない
事実7: あの家族集団は在廷するということはない
事実8: 「あの家族集団は在廷するかあるいは蓮池でないかあるいは両方ともだ」ということは成り立たない
事実9: もし仮に「あの家族集団は在廷するか蓮池だということはない」ということは成り立たないとすれば「それは早退しない」ということは真実だ
事実10: もし仮にあの家族集団が早退しないならこの指定試験機関は再開しなくて座り続けない

仮説: この指定試験機関は客観的評価でない
1. 事実9と事実8から、推論1: "「あの家族集団は早退しない」ということは確かだ"が導かれる
2. 推論1と事実10から、推論2: "この指定試験機関は再開しないししかもそれは座り続けない"が導かれる
3. 事実2から、推論3: "もし仮にこの指定試験機関が再開しないし座り続けないならばそれは客観的評価でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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