あの園児は運び掛けない
fact1: 「あの園児は発動出来るということはないとすれば「あの園児は展観するがしかしそれは吹き易いということはない」ということは偽だ」ということは確かだ fact2: もし何かは御しないとすれば「それは割り開くしさらに汚さない」ということは成り立たない fact3: もし仮にあの園児が運び掛けるならこのチャボはポップ・スターでない fact4: もしもあるものが口汚いということはないならばそれは運び掛ける fact5: なにがしかのものが割り開かないとすればそれは口汚くないしその上分かり辛いということはない fact6: 仮に「あの園児は奪い返さない」ということは正しいならば発動出来ない fact7: 「あの園児はポップ・スターでない」ということは偽でない fact8: もし「あの園児は展観するがしかし吹き易くない」ということは成り立たないとすれば御しない fact9: もし仮にあの園児はポップ・スターでないとするとそれは運び掛けない fact10: もし「あるものは割り開くが汚さない」ということは成り立たないならばそれは割り開かない fact11: 仮にあの園児は口汚くないならば「ポップ・スターであるしまたそれは運び掛ける」ということは確かである
fact9 & fact7 -> hypothesis;
fact9 & fact7 -> hypothesis;
あの園児は運び掛ける
fact18 -> int1: もしあの園児が割り開かないとすれば口汚くないしかつそれは分かり辛くない; fact17 -> int2: もし「あの園児は割り開くけれど汚さない」ということは誤っているならそれは割り開くということはない; fact14 -> int3: もしあの園児は御しないとすれば「割り開く一方で汚さない」ということは成り立たない;
$facts$ = fact1: 「あの園児は発動出来るということはないとすれば「あの園児は展観するがしかしそれは吹き易いということはない」ということは偽だ」ということは確かだ fact2: もし何かは御しないとすれば「それは割り開くしさらに汚さない」ということは成り立たない fact3: もし仮にあの園児が運び掛けるならこのチャボはポップ・スターでない fact4: もしもあるものが口汚いということはないならばそれは運び掛ける fact5: なにがしかのものが割り開かないとすればそれは口汚くないしその上分かり辛いということはない fact6: 仮に「あの園児は奪い返さない」ということは正しいならば発動出来ない fact7: 「あの園児はポップ・スターでない」ということは偽でない fact8: もし「あの園児は展観するがしかし吹き易くない」ということは成り立たないとすれば御しない fact9: もし仮にあの園児はポップ・スターでないとするとそれは運び掛けない fact10: もし「あるものは割り開くが汚さない」ということは成り立たないならばそれは割り開かない fact11: 仮にあの園児は口汚くないならば「ポップ・スターであるしまたそれは運び掛ける」ということは確かである ; $hypothesis$ = あの園児は運び掛けない ; $proof$ = 
fact9 & fact7 -> hypothesis; __PROVED__
事実1: 「あの園児は発動出来るということはないとすれば「あの園児は展観するがしかしそれは吹き易いということはない」ということは偽だ」ということは確かだ
事実2: もし何かは御しないとすれば「それは割り開くしさらに汚さない」ということは成り立たない
事実3: もし仮にあの園児が運び掛けるならこのチャボはポップ・スターでない
事実4: もしもあるものが口汚いということはないならばそれは運び掛ける
事実5: なにがしかのものが割り開かないとすればそれは口汚くないしその上分かり辛いということはない
事実6: 仮に「あの園児は奪い返さない」ということは正しいならば発動出来ない
事実7: 「あの園児はポップ・スターでない」ということは偽でない
事実8: もし「あの園児は展観するがしかし吹き易くない」ということは成り立たないとすれば御しない
事実9: もし仮にあの園児はポップ・スターでないとするとそれは運び掛けない
事実10: もし「あるものは割り開くが汚さない」ということは成り立たないならばそれは割り開かない
事実11: 仮にあの園児は口汚くないならば「ポップ・スターであるしまたそれは運び掛ける」ということは確かである

仮説: あの園児は運び掛けない
1. 事実9と事実7から、仮説が導かれる

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