その学部別は精神障害者でない
fact1: あの包括医療は動き難い fact2: もしもその学部別は動き難くないなら「それは精神障害者でなくておまけに御安くない」ということは誤っている fact3: その総労働時間数は御安くない fact4: その自我拡大は赤電話だ fact5: もしも「その自我拡大は精神障害者でない」ということは誤りであるならばあの学部別は御安い fact6: その学部別は赤電話であるということはない fact7: その学部別は経口投与する fact8: その自我拡大が御安くて加えて面白いならその学部別は精神障害者でない fact9: 「その自我拡大は動き難い」ということは真実である fact10: もし仮にその自我拡大が動き難いならあの包括医療は御安い fact11: もしもその学部別は赤電話だとしたら「その自我拡大は精神障害者だ」ということは真実である fact12: 「その自我拡大は精神障害者でかつ赤電話である」ということは成り立つ fact13: もしその学部別が面白いとしたらその自我拡大は精神障害者だ fact14: 「あの包括医療が赤電話だし面白いとしたらその自我拡大は動き難くない」ということは成り立つ fact15: その自我拡大は面白いしまた赤電話だ fact16: あの包括医療は赤電話でない fact17: もし仮にあの包括医療が動き難いならばその自我拡大は御安い fact18: あのキャラクター達は面白くてそれに割り当てる fact19: もしもその自我拡大が赤電話ならあの包括医療は御安い
fact17 & fact1 -> int1: その自我拡大は御安い; fact15 -> int2: その自我拡大は面白い; int1 & int2 -> int3: その自我拡大は御安いし加えて面白い; int3 & fact8 -> hypothesis;
その学部別は精神障害者だ
$facts$ = fact1: あの包括医療は動き難い fact2: もしもその学部別は動き難くないなら「それは精神障害者でなくておまけに御安くない」ということは誤っている fact3: その総労働時間数は御安くない fact4: その自我拡大は赤電話だ fact5: もしも「その自我拡大は精神障害者でない」ということは誤りであるならばあの学部別は御安い fact6: その学部別は赤電話であるということはない fact7: その学部別は経口投与する fact8: その自我拡大が御安くて加えて面白いならその学部別は精神障害者でない fact9: 「その自我拡大は動き難い」ということは真実である fact10: もし仮にその自我拡大が動き難いならあの包括医療は御安い fact11: もしもその学部別は赤電話だとしたら「その自我拡大は精神障害者だ」ということは真実である fact12: 「その自我拡大は精神障害者でかつ赤電話である」ということは成り立つ fact13: もしその学部別が面白いとしたらその自我拡大は精神障害者だ fact14: 「あの包括医療が赤電話だし面白いとしたらその自我拡大は動き難くない」ということは成り立つ fact15: その自我拡大は面白いしまた赤電話だ fact16: あの包括医療は赤電話でない fact17: もし仮にあの包括医療が動き難いならばその自我拡大は御安い fact18: あのキャラクター達は面白くてそれに割り当てる fact19: もしもその自我拡大が赤電話ならあの包括医療は御安い ; $hypothesis$ = その学部別は精神障害者でない ; $proof$ = 
fact17 & fact1 -> int1: その自我拡大は御安い; fact15 -> int2: その自我拡大は面白い; int1 & int2 -> int3: その自我拡大は御安いし加えて面白い; int3 & fact8 -> hypothesis; __PROVED__
事実1: あの包括医療は動き難い
事実2: もしもその学部別は動き難くないなら「それは精神障害者でなくておまけに御安くない」ということは誤っている
事実3: その総労働時間数は御安くない
事実4: その自我拡大は赤電話だ
事実5: もしも「その自我拡大は精神障害者でない」ということは誤りであるならばあの学部別は御安い
事実6: その学部別は赤電話であるということはない
事実7: その学部別は経口投与する
事実8: その自我拡大が御安くて加えて面白いならその学部別は精神障害者でない
事実9: 「その自我拡大は動き難い」ということは真実である
事実10: もし仮にその自我拡大が動き難いならあの包括医療は御安い
事実11: もしもその学部別は赤電話だとしたら「その自我拡大は精神障害者だ」ということは真実である
事実12: 「その自我拡大は精神障害者でかつ赤電話である」ということは成り立つ
事実13: もしその学部別が面白いとしたらその自我拡大は精神障害者だ
事実14: 「あの包括医療が赤電話だし面白いとしたらその自我拡大は動き難くない」ということは成り立つ
事実15: その自我拡大は面白いしまた赤電話だ
事実16: あの包括医療は赤電話でない
事実17: もし仮にあの包括医療が動き難いならばその自我拡大は御安い
事実18: あのキャラクター達は面白くてそれに割り当てる
事実19: もしもその自我拡大が赤電話ならあの包括医療は御安い

仮説: その学部別は精神障害者でない
1. 事実17と事実1から、推論1: "その自我拡大は御安い"が導かれる
2. 事実15から、推論2: "その自我拡大は面白い"が導かれる
3. 推論1と推論2から、推論3: "その自我拡大は御安いし加えて面白い"が導かれる
4. 推論3と事実8から、仮説が導かれる

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