あの有効回答はファーストクラスでない
fact1: もし仮にあの広域図が山猫軒であるならばあのアロエベラは惨くない fact2: もしもあの有効回答が惨くないならばファーストクラスでない fact3: その管理責任者は覚え込まない fact4: もしあの五百ミリリットル入りがファーストクラスならあの有効回答はファーストクラスである fact5: もしあの有効回答は購入出来ないとすれば「あの五百ミリリットル入りは購入出来るがしかし覚え込まない」ということは真実でない fact6: もしもあの五百ミリリットル入りは試験場だということはないとしたら「あの広域図は試験場であるがそれは山猫軒であるということはない」ということは事実と異なる fact7: あの五百ミリリットル入りは覚え込まない fact8: あの五百ミリリットル入りが覚え込まないなら試験場でない fact9: もしも「とある物は購入出来るし惨い」ということは成り立たないとすると「それはファーストクラスでない」ということは成り立つ fact10: もし仮に「このアロエベラは惨くない」ということは確かならば「あの有効回答は購入出来るし更に惨い」ということは偽である fact11: 仮に「あの広域図は試験場だけれどそれは山猫軒でない」ということは間違いであるとすればこのアロエベラは惨くない
fact8 & fact7 -> int1: 「あの五百ミリリットル入りは試験場でない」ということは成り立つ; int1 & fact6 -> int2: 「あの広域図は試験場だけど山猫軒でない」ということは成り立たない; int2 & fact11 -> int3: このアロエベラは惨くない; int3 & fact10 -> int4: 「あの有効回答は購入出来るし惨い」ということは本当でない; fact9 -> int5: もし「あの有効回答は購入出来るしそれに惨い」ということは偽であるとすればそれはファーストクラスであるということはない; int4 & int5 -> hypothesis;
あの有効回答はファーストクラスである
$facts$ = fact1: もし仮にあの広域図が山猫軒であるならばあのアロエベラは惨くない fact2: もしもあの有効回答が惨くないならばファーストクラスでない fact3: その管理責任者は覚え込まない fact4: もしあの五百ミリリットル入りがファーストクラスならあの有効回答はファーストクラスである fact5: もしあの有効回答は購入出来ないとすれば「あの五百ミリリットル入りは購入出来るがしかし覚え込まない」ということは真実でない fact6: もしもあの五百ミリリットル入りは試験場だということはないとしたら「あの広域図は試験場であるがそれは山猫軒であるということはない」ということは事実と異なる fact7: あの五百ミリリットル入りは覚え込まない fact8: あの五百ミリリットル入りが覚え込まないなら試験場でない fact9: もしも「とある物は購入出来るし惨い」ということは成り立たないとすると「それはファーストクラスでない」ということは成り立つ fact10: もし仮に「このアロエベラは惨くない」ということは確かならば「あの有効回答は購入出来るし更に惨い」ということは偽である fact11: 仮に「あの広域図は試験場だけれどそれは山猫軒でない」ということは間違いであるとすればこのアロエベラは惨くない ; $hypothesis$ = あの有効回答はファーストクラスでない ; $proof$ = 
fact8 & fact7 -> int1: 「あの五百ミリリットル入りは試験場でない」ということは成り立つ; int1 & fact6 -> int2: 「あの広域図は試験場だけど山猫軒でない」ということは成り立たない; int2 & fact11 -> int3: このアロエベラは惨くない; int3 & fact10 -> int4: 「あの有効回答は購入出来るし惨い」ということは本当でない; fact9 -> int5: もし「あの有効回答は購入出来るしそれに惨い」ということは偽であるとすればそれはファーストクラスであるということはない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの広域図が山猫軒であるならばあのアロエベラは惨くない
事実2: もしもあの有効回答が惨くないならばファーストクラスでない
事実3: その管理責任者は覚え込まない
事実4: もしあの五百ミリリットル入りがファーストクラスならあの有効回答はファーストクラスである
事実5: もしあの有効回答は購入出来ないとすれば「あの五百ミリリットル入りは購入出来るがしかし覚え込まない」ということは真実でない
事実6: もしもあの五百ミリリットル入りは試験場だということはないとしたら「あの広域図は試験場であるがそれは山猫軒であるということはない」ということは事実と異なる
事実7: あの五百ミリリットル入りは覚え込まない
事実8: あの五百ミリリットル入りが覚え込まないなら試験場でない
事実9: もしも「とある物は購入出来るし惨い」ということは成り立たないとすると「それはファーストクラスでない」ということは成り立つ
事実10: もし仮に「このアロエベラは惨くない」ということは確かならば「あの有効回答は購入出来るし更に惨い」ということは偽である
事実11: 仮に「あの広域図は試験場だけれどそれは山猫軒でない」ということは間違いであるとすればこのアロエベラは惨くない

仮説: あの有効回答はファーストクラスでない
1. 事実8と事実7から、推論1: "「あの五百ミリリットル入りは試験場でない」ということは成り立つ"が導かれる
2. 推論1と事実6から、推論2: "「あの広域図は試験場だけど山猫軒でない」ということは成り立たない"が導かれる
3. 推論2と事実11から、推論3: "このアロエベラは惨くない"が導かれる
4. 推論3と事実10から、推論4: "「あの有効回答は購入出来るし惨い」ということは本当でない"が導かれる
5. 事実9から、推論5: "もし「あの有効回答は購入出来るしそれに惨い」ということは偽であるとすればそれはファーストクラスであるということはない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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