この式部は上巳でない
fact1: 「もし極まり悪いものは中心位であるならそれは上巳であるということはない」ということは成り立つ fact2: その水芥子は加入電話である fact3: その水芥子は瓦解しない fact4: もし仮になんらかのものが加入電話であるということはなくておまけにそれが経ということはないならそれは中心位でない fact5: 掻き易くないものは加入電話であるということはなくて経ない fact6: もし何かは中心位でないならそれが上巳だしそれにそれは極まり悪い fact7: 「この式部は極まり悪い」ということは正しい fact8: 仮にその水芥子は千九百九十七年度であるとしたら恐縮する fact9: 極まり悪いものは凄くないがしかし少年野球である fact10: その水芥子は大手門である fact11: その水芥子は中心位である fact12: 「その水芥子は寒ーい」ということは事実であるならそれは恐縮する fact13: あるものは中心位でないがしかし上巳であるならばそれは極まり悪い fact14: もしもその水芥子が瓦解しないとするとそれは千九百九十七年度であるかまたは寒ーいかあるいは両方ともだ fact15: もしとある物は上積みしないなら「者であるということはないかもしくは同定しないかあるいはどちらもだ」ということは成り立たない fact16: この脱走者は加入電話である fact17: その水芥子は極まり悪い fact18: もし仮にその水芥子は恐縮するしそれに大手門であるとするとそれは上積みしない fact19: 仮に「その水芥子は上巳でない」ということは本当ならこの式部は上巳でない一方で加入電話だ
fact17 & fact11 -> int1: その水芥子は極まり悪いし中心位だ; fact1 -> int2: もしもその水芥子は極まり悪くておまけに中心位だとしたらそれは上巳でない; int1 & int2 -> int3: その水芥子は上巳だということはない; int3 & fact19 -> int4: この式部は上巳でない一方で加入電話である; int4 -> hypothesis;
この式部は上巳である
fact29 -> int5: もし仮にこの式部は中心位でないならそれは上巳であるしおまけに極まり悪い; fact26 -> int6: もし仮にこの式部が加入電話でなくて経ないなら中心位でない; fact25 -> int7: もしも「この式部は掻き易くない」ということは間違っていないならそれは加入電話だということはなくて加えてそれは経ない; fact20 -> int8: もしもその水芥子は上積みしないとしたら「それは者でないかあるいは同定するということはないかまたはどちらもである」ということは間違いである; fact22 & fact28 -> int9: その水芥子は千九百九十七年度であるかまたはそれは寒ーいかまたは両方だ; int9 & fact27 & fact24 -> int10: その水芥子は恐縮する; int10 & fact23 -> int11: その水芥子は恐縮するしそれは大手門である; fact21 & int11 -> int12: その水芥子は上積みしない; int8 & int12 -> int13: 「その水芥子は者でないかもしくは同定しないかどちらもである」ということは間違いである; int13 -> int14: 「「者でないかもしくは同定しない」ということは事実と異なる」ものはある;
$facts$ = fact1: 「もし極まり悪いものは中心位であるならそれは上巳であるということはない」ということは成り立つ fact2: その水芥子は加入電話である fact3: その水芥子は瓦解しない fact4: もし仮になんらかのものが加入電話であるということはなくておまけにそれが経ということはないならそれは中心位でない fact5: 掻き易くないものは加入電話であるということはなくて経ない fact6: もし何かは中心位でないならそれが上巳だしそれにそれは極まり悪い fact7: 「この式部は極まり悪い」ということは正しい fact8: 仮にその水芥子は千九百九十七年度であるとしたら恐縮する fact9: 極まり悪いものは凄くないがしかし少年野球である fact10: その水芥子は大手門である fact11: その水芥子は中心位である fact12: 「その水芥子は寒ーい」ということは事実であるならそれは恐縮する fact13: あるものは中心位でないがしかし上巳であるならばそれは極まり悪い fact14: もしもその水芥子が瓦解しないとするとそれは千九百九十七年度であるかまたは寒ーいかあるいは両方ともだ fact15: もしとある物は上積みしないなら「者であるということはないかもしくは同定しないかあるいはどちらもだ」ということは成り立たない fact16: この脱走者は加入電話である fact17: その水芥子は極まり悪い fact18: もし仮にその水芥子は恐縮するしそれに大手門であるとするとそれは上積みしない fact19: 仮に「その水芥子は上巳でない」ということは本当ならこの式部は上巳でない一方で加入電話だ ; $hypothesis$ = この式部は上巳でない ; $proof$ = 
fact17 & fact11 -> int1: その水芥子は極まり悪いし中心位だ; fact1 -> int2: もしもその水芥子は極まり悪くておまけに中心位だとしたらそれは上巳でない; int1 & int2 -> int3: その水芥子は上巳だということはない; int3 & fact19 -> int4: この式部は上巳でない一方で加入電話である; int4 -> hypothesis; __PROVED__
事実1: 「もし極まり悪いものは中心位であるならそれは上巳であるということはない」ということは成り立つ
事実2: その水芥子は加入電話である
事実3: その水芥子は瓦解しない
事実4: もし仮になんらかのものが加入電話であるということはなくておまけにそれが経ということはないならそれは中心位でない
事実5: 掻き易くないものは加入電話であるということはなくて経ない
事実6: もし何かは中心位でないならそれが上巳だしそれにそれは極まり悪い
事実7: 「この式部は極まり悪い」ということは正しい
事実8: 仮にその水芥子は千九百九十七年度であるとしたら恐縮する
事実9: 極まり悪いものは凄くないがしかし少年野球である
事実10: その水芥子は大手門である
事実11: その水芥子は中心位である
事実12: 「その水芥子は寒ーい」ということは事実であるならそれは恐縮する
事実13: あるものは中心位でないがしかし上巳であるならばそれは極まり悪い
事実14: もしもその水芥子が瓦解しないとするとそれは千九百九十七年度であるかまたは寒ーいかあるいは両方ともだ
事実15: もしとある物は上積みしないなら「者であるということはないかもしくは同定しないかあるいはどちらもだ」ということは成り立たない
事実16: この脱走者は加入電話である
事実17: その水芥子は極まり悪い
事実18: もし仮にその水芥子は恐縮するしそれに大手門であるとするとそれは上積みしない
事実19: 仮に「その水芥子は上巳でない」ということは本当ならこの式部は上巳でない一方で加入電話だ

仮説: この式部は上巳でない
1. 事実17と事実11から、推論1: "その水芥子は極まり悪いし中心位だ"が導かれる
2. 事実1から、推論2: "もしもその水芥子は極まり悪くておまけに中心位だとしたらそれは上巳でない"が導かれる
3. 推論1と推論2から、推論3: "その水芥子は上巳だということはない"が導かれる
4. 推論3と事実19から、推論4: "この式部は上巳でない一方で加入電話である"が導かれる
5. 推論4から、仮説が導かれる

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