「あの四例はエゾ狼であるし深読みする」ということは嘘だ
fact1: この回復操作は調製するし加えて入れ難い fact2: 「調製する」ものはある fact3: あの四例は深読みする fact4: この回復操作が厳存しないならこのガードレールは太り難い fact5: 「深読みする」ものはある fact6: もし仮に何らかのものは分流する一方で低くないなら深読みしない fact7: もし太り難い物が諮るとするとあの四例はエゾ狼である fact8: 仮に「この回復操作は欲界でおまけに入れ難い」ということは成り立つとすればそれは厳存しない fact9: あのピュアは諮る fact10: このガードレールは諮る fact11: ある物は欲界でなくて深読みしない fact12: もし仮に低くない物が分流しないとすればあの回復操作は欲界である fact13: この御値段は深読みする fact14: 「低いということはなくておまけに分流しない」物はある fact15: この回復操作は調製するしそれに深読みする fact16: この回復操作は太り難い
fact14 & fact12 -> int1: この回復操作は欲界である; fact1 -> int2: この回復操作は入れ難い; int1 & int2 -> int3: この回復操作が欲界だしまた入れ難い; int3 & fact8 -> int4: この回復操作は厳存しない; int4 & fact4 -> int5: 「このガードレールは太り難い」ということは確かである; int5 & fact10 -> int6: このガードレールは太り難くて諮る; int6 -> int7: ある物は太り難いし諮る; int7 & fact7 -> int8: あの四例はエゾ狼である; int8 & fact3 -> hypothesis;
「あの四例はエゾ狼であるしおまけに深読みする」ということは成り立たない
fact17 -> int9: もし仮にこの回復操作は分流するが低くないならそれは深読みするということはない;
$facts$ = fact1: この回復操作は調製するし加えて入れ難い fact2: 「調製する」ものはある fact3: あの四例は深読みする fact4: この回復操作が厳存しないならこのガードレールは太り難い fact5: 「深読みする」ものはある fact6: もし仮に何らかのものは分流する一方で低くないなら深読みしない fact7: もし太り難い物が諮るとするとあの四例はエゾ狼である fact8: 仮に「この回復操作は欲界でおまけに入れ難い」ということは成り立つとすればそれは厳存しない fact9: あのピュアは諮る fact10: このガードレールは諮る fact11: ある物は欲界でなくて深読みしない fact12: もし仮に低くない物が分流しないとすればあの回復操作は欲界である fact13: この御値段は深読みする fact14: 「低いということはなくておまけに分流しない」物はある fact15: この回復操作は調製するしそれに深読みする fact16: この回復操作は太り難い ; $hypothesis$ = 「あの四例はエゾ狼であるし深読みする」ということは嘘だ ; $proof$ = 
fact14 & fact12 -> int1: この回復操作は欲界である; fact1 -> int2: この回復操作は入れ難い; int1 & int2 -> int3: この回復操作が欲界だしまた入れ難い; int3 & fact8 -> int4: この回復操作は厳存しない; int4 & fact4 -> int5: 「このガードレールは太り難い」ということは確かである; int5 & fact10 -> int6: このガードレールは太り難くて諮る; int6 -> int7: ある物は太り難いし諮る; int7 & fact7 -> int8: あの四例はエゾ狼である; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: この回復操作は調製するし加えて入れ難い
事実2: 「調製する」ものはある
事実3: あの四例は深読みする
事実4: この回復操作が厳存しないならこのガードレールは太り難い
事実5: 「深読みする」ものはある
事実6: もし仮に何らかのものは分流する一方で低くないなら深読みしない
事実7: もし太り難い物が諮るとするとあの四例はエゾ狼である
事実8: 仮に「この回復操作は欲界でおまけに入れ難い」ということは成り立つとすればそれは厳存しない
事実9: あのピュアは諮る
事実10: このガードレールは諮る
事実11: ある物は欲界でなくて深読みしない
事実12: もし仮に低くない物が分流しないとすればあの回復操作は欲界である
事実13: この御値段は深読みする
事実14: 「低いということはなくておまけに分流しない」物はある
事実15: この回復操作は調製するしそれに深読みする
事実16: この回復操作は太り難い

仮説: 「あの四例はエゾ狼であるし深読みする」ということは嘘だ
1. 事実14と事実12から、推論1: "この回復操作は欲界である"が導かれる
2. 事実1から、推論2: "この回復操作は入れ難い"が導かれる
3. 推論1と推論2から、推論3: "この回復操作が欲界だしまた入れ難い"が導かれる
4. 推論3と事実8から、推論4: "この回復操作は厳存しない"が導かれる
5. 推論4と事実4から、推論5: "「このガードレールは太り難い」ということは確かである"が導かれる
6. 推論5と事実10から、推論6: "このガードレールは太り難くて諮る"が導かれる
7. 推論6から、推論7: "ある物は太り難いし諮る"が導かれる
8. 推論7と事実7から、推論8: "あの四例はエゾ狼である"が導かれる
9. 推論8と事実3から、仮説が否定される

よって、仮説が否定されました。