この四年正月吉日は大川でない
fact1: もし仮になんらかの物が呪詛すればそれは間近くないかもしくはそれは態とらしいかあるいは両方である fact2: もしなにかは態とらしいとするとそれは大川だ fact3: あのエソロジーは掛かり易くない fact4: 「この四年正月吉日が遊芸だしその上それは通院介助だ」ということは確かだ fact5: その全領域は掛かり易いしすこい fact6: 全ては生成し易いかもしくは喧嘩しないかもしくは両方だ fact7: この四年正月吉日は混ぜ込まない fact8: この四年正月吉日は受け入れられ易くない fact9: この四年正月吉日は掛かり易くない fact10: その全領域は掛かり易い fact11: 仮にこの四年正月吉日は掛かり易いし更に大川であるとしたら「その全領域はすこくない」ということは事実と異ならない fact12: この四年正月吉日は近しいしそれは達成し得る fact13: もし仮にその全領域が掛かり易くておまけにすこいならこの四年正月吉日は大川であるということはない fact14: その全領域が掛かり易くて大川だとすればこの四年正月吉日はすこくない
fact13 & fact5 -> hypothesis;
fact13 & fact5 -> hypothesis;
この四年正月吉日は大川である
fact15 -> int1: もし仮にこの四年正月吉日が態とらしいとしたら大川だ; fact16 -> int2: その全領域が呪詛すればそれは間近いということはないか態とらしいかまたは両方ともである; fact17 -> int3: この自治機能は生成し易いかもしくは喧嘩しないかまたは両方である;
$facts$ = fact1: もし仮になんらかの物が呪詛すればそれは間近くないかもしくはそれは態とらしいかあるいは両方である fact2: もしなにかは態とらしいとするとそれは大川だ fact3: あのエソロジーは掛かり易くない fact4: 「この四年正月吉日が遊芸だしその上それは通院介助だ」ということは確かだ fact5: その全領域は掛かり易いしすこい fact6: 全ては生成し易いかもしくは喧嘩しないかもしくは両方だ fact7: この四年正月吉日は混ぜ込まない fact8: この四年正月吉日は受け入れられ易くない fact9: この四年正月吉日は掛かり易くない fact10: その全領域は掛かり易い fact11: 仮にこの四年正月吉日は掛かり易いし更に大川であるとしたら「その全領域はすこくない」ということは事実と異ならない fact12: この四年正月吉日は近しいしそれは達成し得る fact13: もし仮にその全領域が掛かり易くておまけにすこいならこの四年正月吉日は大川であるということはない fact14: その全領域が掛かり易くて大川だとすればこの四年正月吉日はすこくない ; $hypothesis$ = この四年正月吉日は大川でない ; $proof$ = 
fact13 & fact5 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が呪詛すればそれは間近くないかもしくはそれは態とらしいかあるいは両方である
事実2: もしなにかは態とらしいとするとそれは大川だ
事実3: あのエソロジーは掛かり易くない
事実4: 「この四年正月吉日が遊芸だしその上それは通院介助だ」ということは確かだ
事実5: その全領域は掛かり易いしすこい
事実6: 全ては生成し易いかもしくは喧嘩しないかもしくは両方だ
事実7: この四年正月吉日は混ぜ込まない
事実8: この四年正月吉日は受け入れられ易くない
事実9: この四年正月吉日は掛かり易くない
事実10: その全領域は掛かり易い
事実11: 仮にこの四年正月吉日は掛かり易いし更に大川であるとしたら「その全領域はすこくない」ということは事実と異ならない
事実12: この四年正月吉日は近しいしそれは達成し得る
事実13: もし仮にその全領域が掛かり易くておまけにすこいならこの四年正月吉日は大川であるということはない
事実14: その全領域が掛かり易くて大川だとすればこの四年正月吉日はすこくない

仮説: この四年正月吉日は大川でない
1. 事実13と事実5から、仮説が導かれる

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