この御豆はに対して有らないし恨みがましかない
fact1: 「益金不算入な」物はある fact2: この御豆はに対して有らないかそれはアレビ派でないかもしくは両方ともである fact3: もしも益無しないアレビ派があるとしたらこの御豆はに対して有らない fact4: もしも「益金不算入な」ものがあるとしたらこの女性社員はＣ分遣隊でないかまたはそれは傷害しない fact5: 仮にとあるものは益金不算入でないとすると「それがに対して有るということはないし更に恨みはましくらない」ということは間違っている fact6: もしその裸子植物がアレビ派だけれどそれが傷害するということはないならばこの女性社員は傷害しない fact7: その裸子植物はアレビ派だけど益無しない fact8: もし仮にこの女性社員がＣ分遣隊でないか傷害しないならこの御豆は恨みがましかない fact9: もしもこの女性社員が傷害しないならこの御豆は益金不算入でなくてかつＣ分遣隊でない
fact1 & fact4 -> int1: この女性社員はＣ分遣隊でないか傷害しないかあるいはどちらもだ; int1 & fact8 -> int2: この御豆は恨みがましかない; fact7 -> int3: 何らかの物はアレビ派である一方で益無しない; fact3 & int3 -> int4: この御豆はに対して有るということはない; int2 & int4 -> hypothesis;
fact1 & fact4 -> int1: (¬{B}{a} v ¬{C}{a}); int1 & fact8 -> int2: ¬{D}{b}; fact7 -> int3: (Ex): ({G}x & ¬{F}x); fact3 & int3 -> int4: ¬{E}{b}; int2 & int4 -> hypothesis;
「この御豆がに対して有らないし加えて恨みはましくらない」ということは真実でない
fact12 -> int5: もし仮にこの御豆は益金不算入でないとしたら「それがに対して有らなくてまた恨みはましくらない」ということは偽である;
$facts$ = fact1: 「益金不算入な」物はある fact2: この御豆はに対して有らないかそれはアレビ派でないかもしくは両方ともである fact3: もしも益無しないアレビ派があるとしたらこの御豆はに対して有らない fact4: もしも「益金不算入な」ものがあるとしたらこの女性社員はＣ分遣隊でないかまたはそれは傷害しない fact5: 仮にとあるものは益金不算入でないとすると「それがに対して有るということはないし更に恨みはましくらない」ということは間違っている fact6: もしその裸子植物がアレビ派だけれどそれが傷害するということはないならばこの女性社員は傷害しない fact7: その裸子植物はアレビ派だけど益無しない fact8: もし仮にこの女性社員がＣ分遣隊でないか傷害しないならこの御豆は恨みがましかない fact9: もしもこの女性社員が傷害しないならこの御豆は益金不算入でなくてかつＣ分遣隊でない ; $hypothesis$ = この御豆はに対して有らないし恨みがましかない ; $proof$ = 
fact1 & fact4 -> int1: この女性社員はＣ分遣隊でないか傷害しないかあるいはどちらもだ; int1 & fact8 -> int2: この御豆は恨みがましかない; fact7 -> int3: 何らかの物はアレビ派である一方で益無しない; fact3 & int3 -> int4: この御豆はに対して有るということはない; int2 & int4 -> hypothesis; __PROVED__
事実1: 「益金不算入な」物はある
事実2: この御豆はに対して有らないかそれはアレビ派でないかもしくは両方ともである
事実3: もしも益無しないアレビ派があるとしたらこの御豆はに対して有らない
事実4: もしも「益金不算入な」ものがあるとしたらこの女性社員はＣ分遣隊でないかまたはそれは傷害しない
事実5: 仮にとあるものは益金不算入でないとすると「それがに対して有るということはないし更に恨みはましくらない」ということは間違っている
事実6: もしその裸子植物がアレビ派だけれどそれが傷害するということはないならばこの女性社員は傷害しない
事実7: その裸子植物はアレビ派だけど益無しない
事実8: もし仮にこの女性社員がＣ分遣隊でないか傷害しないならこの御豆は恨みがましかない
事実9: もしもこの女性社員が傷害しないならこの御豆は益金不算入でなくてかつＣ分遣隊でない

仮説: この御豆はに対して有らないし恨みがましかない
1. 事実1と事実4から、推論1: "この女性社員はＣ分遣隊でないか傷害しないかあるいはどちらもだ"が導かれる
2. 推論1と事実8から、推論2: "この御豆は恨みがましかない"が導かれる
3. 事実7から、推論3: "何らかの物はアレビ派である一方で益無しない"が導かれる
4. 事実3と推論3から、推論4: "この御豆はに対して有るということはない"が導かれる
5. 推論2と推論4から、仮説が導かれる

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