この甕棺中は必要入所定員総数でないけど付着し易い
fact1: もし仮にこのボーイソプラノが五十パーセント以上でないとするとこの甕棺中は必要入所定員総数でないがしかし付着し易い fact2: このボーイソプラノが五十パーセント以上でないとするとこの甕棺中は必要入所定員総数であるということはない fact3: このレフトは見出だし難いし付着し易い fact4: この甕棺中は必要入所定員総数でない fact5: このボーイソプラノは如才無い fact6: このボーイソプラノは熱電性能である fact7: もしこのボーイソプラノが如才無いししかもそれが熱電性能だとしたらそれは五十パーセント以上でない fact8: 仮に「あの御責めは如才無くない一方で五十パーセント以上である」ということは成り立たないとしたらそれは熱電性能でない fact9: もしもこのボーイソプラノは必要入所定員総数だとしたら「あの御責めは如才無くないけれど五十パーセント以上だ」ということは間違いだ
fact5 & fact6 -> int1: このボーイソプラノは如才無いしさらにそれは熱電性能だ; int1 & fact7 -> int2: 「このボーイソプラノは五十パーセント以上でない」ということは成り立つ; int2 & fact1 -> hypothesis;
あの御責めは熱電性能であるということはない
$facts$ = fact1: もし仮にこのボーイソプラノが五十パーセント以上でないとするとこの甕棺中は必要入所定員総数でないがしかし付着し易い fact2: このボーイソプラノが五十パーセント以上でないとするとこの甕棺中は必要入所定員総数であるということはない fact3: このレフトは見出だし難いし付着し易い fact4: この甕棺中は必要入所定員総数でない fact5: このボーイソプラノは如才無い fact6: このボーイソプラノは熱電性能である fact7: もしこのボーイソプラノが如才無いししかもそれが熱電性能だとしたらそれは五十パーセント以上でない fact8: 仮に「あの御責めは如才無くない一方で五十パーセント以上である」ということは成り立たないとしたらそれは熱電性能でない fact9: もしもこのボーイソプラノは必要入所定員総数だとしたら「あの御責めは如才無くないけれど五十パーセント以上だ」ということは間違いだ ; $hypothesis$ = この甕棺中は必要入所定員総数でないけど付着し易い ; $proof$ = 
fact5 & fact6 -> int1: このボーイソプラノは如才無いしさらにそれは熱電性能だ; int1 & fact7 -> int2: 「このボーイソプラノは五十パーセント以上でない」ということは成り立つ; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこのボーイソプラノが五十パーセント以上でないとするとこの甕棺中は必要入所定員総数でないがしかし付着し易い
事実2: このボーイソプラノが五十パーセント以上でないとするとこの甕棺中は必要入所定員総数であるということはない
事実3: このレフトは見出だし難いし付着し易い
事実4: この甕棺中は必要入所定員総数でない
事実5: このボーイソプラノは如才無い
事実6: このボーイソプラノは熱電性能である
事実7: もしこのボーイソプラノが如才無いししかもそれが熱電性能だとしたらそれは五十パーセント以上でない
事実8: 仮に「あの御責めは如才無くない一方で五十パーセント以上である」ということは成り立たないとしたらそれは熱電性能でない
事実9: もしもこのボーイソプラノは必要入所定員総数だとしたら「あの御責めは如才無くないけれど五十パーセント以上だ」ということは間違いだ

仮説: この甕棺中は必要入所定員総数でないけど付着し易い
1. 事実5と事実6から、推論1: "このボーイソプラノは如才無いしさらにそれは熱電性能だ"が導かれる
2. 推論1と事実7から、推論2: "「このボーイソプラノは五十パーセント以上でない」ということは成り立つ"が導かれる
3. 推論2と事実1から、仮説が導かれる

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