この巻き紙は実用上である
fact1: あの回診は実用上である fact2: もしも「あの回診は合わせ易くてそれは学校図書だ」ということは事実と異なるとしたらそれはペンシルタイプでない fact3: 「あの回診は微笑ましい」ということは真実だ fact4: その物言いは実用上だ fact5: この巻き紙は述ぶ fact6: 仮にあの回診はペンシルタイプでないならば「この巻き紙はトライであるが目の玉でない」ということは偽だ fact7: もしもあの禁中が目の玉ならあの回診は実用上である fact8: もし仮にあの回診が実用上であるとしたらこの巻き紙は目の玉である fact9: 「あの安全管理措置は蓮池城だということはない一方で吸い合う」ということは誤っているとすればそれは吸い合わない fact10: もしあの安全管理措置が吸い合わないとすると起こり難いしまた述ぶ fact11: あの回診は目の玉だ fact12: もしなんらかのものは大人っぽくないなら「合わせ易いしその上学校図書だ」ということは事実と異なる fact13: もし仮に「この巻き紙は目の玉だ」ということは事実ならばあの回診は実用上である fact14: もしあの回診が目の玉ならばあの巻き紙は実用上だ fact15: もしもあの安全管理措置が起こり難いとするとあの回診は大人っぽくないしそれにシベリア洪水玄武岩でない
fact14 & fact11 -> hypothesis;
fact14 & fact11 -> hypothesis;
「この巻き紙は実用上でない」ということは成り立つ
fact20 -> int1: 「もしもあの回診は大人っぽくないとすると「あの回診は合わせ易くてかつ学校図書だ」ということは成り立たない」ということは成り立つ;
$facts$ = fact1: あの回診は実用上である fact2: もしも「あの回診は合わせ易くてそれは学校図書だ」ということは事実と異なるとしたらそれはペンシルタイプでない fact3: 「あの回診は微笑ましい」ということは真実だ fact4: その物言いは実用上だ fact5: この巻き紙は述ぶ fact6: 仮にあの回診はペンシルタイプでないならば「この巻き紙はトライであるが目の玉でない」ということは偽だ fact7: もしもあの禁中が目の玉ならあの回診は実用上である fact8: もし仮にあの回診が実用上であるとしたらこの巻き紙は目の玉である fact9: 「あの安全管理措置は蓮池城だということはない一方で吸い合う」ということは誤っているとすればそれは吸い合わない fact10: もしあの安全管理措置が吸い合わないとすると起こり難いしまた述ぶ fact11: あの回診は目の玉だ fact12: もしなんらかのものは大人っぽくないなら「合わせ易いしその上学校図書だ」ということは事実と異なる fact13: もし仮に「この巻き紙は目の玉だ」ということは事実ならばあの回診は実用上である fact14: もしあの回診が目の玉ならばあの巻き紙は実用上だ fact15: もしもあの安全管理措置が起こり難いとするとあの回診は大人っぽくないしそれにシベリア洪水玄武岩でない ; $hypothesis$ = この巻き紙は実用上である ; $proof$ = 
fact14 & fact11 -> hypothesis; __PROVED__
事実1: あの回診は実用上である
事実2: もしも「あの回診は合わせ易くてそれは学校図書だ」ということは事実と異なるとしたらそれはペンシルタイプでない
事実3: 「あの回診は微笑ましい」ということは真実だ
事実4: その物言いは実用上だ
事実5: この巻き紙は述ぶ
事実6: 仮にあの回診はペンシルタイプでないならば「この巻き紙はトライであるが目の玉でない」ということは偽だ
事実7: もしもあの禁中が目の玉ならあの回診は実用上である
事実8: もし仮にあの回診が実用上であるとしたらこの巻き紙は目の玉である
事実9: 「あの安全管理措置は蓮池城だということはない一方で吸い合う」ということは誤っているとすればそれは吸い合わない
事実10: もしあの安全管理措置が吸い合わないとすると起こり難いしまた述ぶ
事実11: あの回診は目の玉だ
事実12: もしなんらかのものは大人っぽくないなら「合わせ易いしその上学校図書だ」ということは事実と異なる
事実13: もし仮に「この巻き紙は目の玉だ」ということは事実ならばあの回診は実用上である
事実14: もしあの回診が目の玉ならばあの巻き紙は実用上だ
事実15: もしもあの安全管理措置が起こり難いとするとあの回診は大人っぽくないしそれにシベリア洪水玄武岩でない

仮説: この巻き紙は実用上である
1. 事実14と事実11から、仮説が導かれる

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