「あの紫外は疎外しないかまたは入れ易くないか両方ともだ」ということは正しくない
fact1: もし仮にあの薬物木簡は割れ難くないなら「あの紫外は疎外しないかもしくは入れ易くないかまたは両方である」ということは成り立たない fact2: 「あるものは割れ難いがしかし憎み合わない」ということは事実と異なるとしたら割れ難くない fact3: 「この追善供養は憎み合う」ということは真実だとしたらあの薬物木簡は驚く fact4: 仮に好ましない物はあるとしたら「この追善供養は割れ難くない」ということは正しい fact5: もしとあるものは割れ難くないとすると「それは曇り無し一方で受理するということはない」ということは成り立たない fact6: 何かは好ましない fact7: もしもあの薬物木簡が驚くならあの紫外は疎外しないかまたは入れ易くないかまたは両方ともである fact8: もしも「「なんらかの物は曇り無しけど受理するということはない」ということは成り立つ」ということは成り立つということはないとすれば憎み合う
fact5 -> int1: もしもこの追善供養は割れ難くないなら「曇り無しが受理しない」ということは嘘だ; fact6 & fact4 -> int2: この追善供養は割れ難くない; int1 & int2 -> int3: 「この追善供養は曇り無し一方で受理しない」ということは誤りである; fact8 -> int4: 仮に「この追善供養は曇り無し一方で受理するということはない」ということは偽だとすれば「憎み合う」ということは成り立つ; int3 & int4 -> int5: この追善供養は憎み合う; int5 & fact3 -> int6: あの薬物木簡は驚く; int6 & fact7 -> hypothesis;
「あの紫外は疎外するということはないかあるいは入れ易くないかあるいは両方だ」ということは成り立たない
fact10 -> int7: もし仮に「「あの薬物木簡は割れ難いけど憎み合わない」ということは事実と異なるということはない」ということは成り立たないとするとそれは割れ難くない;
$facts$ = fact1: もし仮にあの薬物木簡は割れ難くないなら「あの紫外は疎外しないかもしくは入れ易くないかまたは両方である」ということは成り立たない fact2: 「あるものは割れ難いがしかし憎み合わない」ということは事実と異なるとしたら割れ難くない fact3: 「この追善供養は憎み合う」ということは真実だとしたらあの薬物木簡は驚く fact4: 仮に好ましない物はあるとしたら「この追善供養は割れ難くない」ということは正しい fact5: もしとあるものは割れ難くないとすると「それは曇り無し一方で受理するということはない」ということは成り立たない fact6: 何かは好ましない fact7: もしもあの薬物木簡が驚くならあの紫外は疎外しないかまたは入れ易くないかまたは両方ともである fact8: もしも「「なんらかの物は曇り無しけど受理するということはない」ということは成り立つ」ということは成り立つということはないとすれば憎み合う ; $hypothesis$ = 「あの紫外は疎外しないかまたは入れ易くないか両方ともだ」ということは正しくない ; $proof$ = 
fact5 -> int1: もしもこの追善供養は割れ難くないなら「曇り無しが受理しない」ということは嘘だ; fact6 & fact4 -> int2: この追善供養は割れ難くない; int1 & int2 -> int3: 「この追善供養は曇り無し一方で受理しない」ということは誤りである; fact8 -> int4: 仮に「この追善供養は曇り無し一方で受理するということはない」ということは偽だとすれば「憎み合う」ということは成り立つ; int3 & int4 -> int5: この追善供養は憎み合う; int5 & fact3 -> int6: あの薬物木簡は驚く; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にあの薬物木簡は割れ難くないなら「あの紫外は疎外しないかもしくは入れ易くないかまたは両方である」ということは成り立たない
事実2: 「あるものは割れ難いがしかし憎み合わない」ということは事実と異なるとしたら割れ難くない
事実3: 「この追善供養は憎み合う」ということは真実だとしたらあの薬物木簡は驚く
事実4: 仮に好ましない物はあるとしたら「この追善供養は割れ難くない」ということは正しい
事実5: もしとあるものは割れ難くないとすると「それは曇り無し一方で受理するということはない」ということは成り立たない
事実6: 何かは好ましない
事実7: もしもあの薬物木簡が驚くならあの紫外は疎外しないかまたは入れ易くないかまたは両方ともである
事実8: もしも「「なんらかの物は曇り無しけど受理するということはない」ということは成り立つ」ということは成り立つということはないとすれば憎み合う

仮説: 「あの紫外は疎外しないかまたは入れ易くないか両方ともだ」ということは正しくない
1. 事実5から、推論1: "もしもこの追善供養は割れ難くないなら「曇り無しが受理しない」ということは嘘だ"が導かれる
2. 事実6と事実4から、推論2: "この追善供養は割れ難くない"が導かれる
3. 推論1と推論2から、推論3: "「この追善供養は曇り無し一方で受理しない」ということは誤りである"が導かれる
4. 事実8から、推論4: "仮に「この追善供養は曇り無し一方で受理するということはない」ということは偽だとすれば「憎み合う」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "この追善供養は憎み合う"が導かれる
6. 推論5と事実3から、推論6: "あの薬物木簡は驚く"が導かれる
7. 推論6と事実7から、仮説が否定される

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