この扶養控除は小さいかまたはそれは階級制度であるということはないかまたは両方だ
fact1: もし仮に「この扶養控除は小さいかまたは階級制度であるということはないかまたは両方だ」ということは事実と異なるとしたらその心気症は差し置かない fact2: ある物は扱い兼ねないとすると「小さいか階級制度でない」ということは嘘である fact3: もしも「その心気症は差し置かなくて扱い兼ねない」ということは本当であるということはないとするとあの均衡化は差し置く fact4: もしこの扶養控除は扱い兼ねないなら「あの傑物は階級制度でないし預かれない」ということは事実と異なる fact5: 「この茶運び人形は扱い兼ねるかあるいはシフトキーでない」ということは事実と異なる fact6: その浪花節は差し置かない fact7: 「もし仮に「「その心気症は差し置かなくてしかも階級制度でない」ということは真実だ」ということは成り立たないなら「この扶養控除は差し置く」ということは正しい」ということは間違いでない fact8: この扶養控除は差し置くかあるいは階級制度だということはないか両方ともだ fact9: 「あの均衡化は差し置かないししかもそれは扱い兼ねない」ということは事実と異なるとすればその心気症は差し置く fact10: この扶養控除は小さいということはない fact11: この扶養控除は差し置くということはないならば「扱い兼ねない」ということは真実だ fact12: この財政学は階級制度だ fact13: 「その心気症は小さいかもしくはそれはしおらしくないかもしくは両方である」ということは誤りである fact14: 「あの均衡化は差し置かないししかも扱い兼ねない」ということは成り立たない fact15: 「何かは窓外でないしまたそれは哀願でない」ということは成り立たないとすると御諫めするということはない fact16: あの均衡化は小さいか差し置くということはないかまたはどちらもである fact17: あの均衡化は階級制度であるかもしくはそれは扱い兼ねない fact18: 「この扶養控除は囲うか仕事しない」ということは事実と異なる fact19: 「この扶養控除は差し置かなくて加えて階級制度でない」ということは成り立たない fact20: 「あの均衡化は差し置かないがしかし扱い兼ねる」ということは成り立つということはない fact21: 「あの現行モデルは扱い兼ねるかあるいは供花でない」ということは間違いだ fact22: 「あの均衡化は差し置く一方で扱い兼ねない」ということは成り立たない
void -> assump1: 以下のように仮定する。「この扶養控除は小さいかもしくは階級制度でない」ということは確かでない; fact1 & assump1 -> int1: その心気症は差し置かない; fact9 & fact14 -> int2: その心気症は差し置く; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} v ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{b}; fact9 & fact14 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「この扶養控除は小さいかもしくはそれは階級制度でないかまたは両方である」ということは誤りだ
fact24 -> int4: もしもこの扶養控除は扱い兼ねるということはないとすれば「小さいかあるいはそれは階級制度でない」ということは偽である;
$facts$ = fact1: もし仮に「この扶養控除は小さいかまたは階級制度であるということはないかまたは両方だ」ということは事実と異なるとしたらその心気症は差し置かない fact2: ある物は扱い兼ねないとすると「小さいか階級制度でない」ということは嘘である fact3: もしも「その心気症は差し置かなくて扱い兼ねない」ということは本当であるということはないとするとあの均衡化は差し置く fact4: もしこの扶養控除は扱い兼ねないなら「あの傑物は階級制度でないし預かれない」ということは事実と異なる fact5: 「この茶運び人形は扱い兼ねるかあるいはシフトキーでない」ということは事実と異なる fact6: その浪花節は差し置かない fact7: 「もし仮に「「その心気症は差し置かなくてしかも階級制度でない」ということは真実だ」ということは成り立たないなら「この扶養控除は差し置く」ということは正しい」ということは間違いでない fact8: この扶養控除は差し置くかあるいは階級制度だということはないか両方ともだ fact9: 「あの均衡化は差し置かないししかもそれは扱い兼ねない」ということは事実と異なるとすればその心気症は差し置く fact10: この扶養控除は小さいということはない fact11: この扶養控除は差し置くということはないならば「扱い兼ねない」ということは真実だ fact12: この財政学は階級制度だ fact13: 「その心気症は小さいかもしくはそれはしおらしくないかもしくは両方である」ということは誤りである fact14: 「あの均衡化は差し置かないししかも扱い兼ねない」ということは成り立たない fact15: 「何かは窓外でないしまたそれは哀願でない」ということは成り立たないとすると御諫めするということはない fact16: あの均衡化は小さいか差し置くということはないかまたはどちらもである fact17: あの均衡化は階級制度であるかもしくはそれは扱い兼ねない fact18: 「この扶養控除は囲うか仕事しない」ということは事実と異なる fact19: 「この扶養控除は差し置かなくて加えて階級制度でない」ということは成り立たない fact20: 「あの均衡化は差し置かないがしかし扱い兼ねる」ということは成り立つということはない fact21: 「あの現行モデルは扱い兼ねるかあるいは供花でない」ということは間違いだ fact22: 「あの均衡化は差し置く一方で扱い兼ねない」ということは成り立たない ; $hypothesis$ = この扶養控除は小さいかまたはそれは階級制度であるということはないかまたは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この扶養控除は小さいかもしくは階級制度でない」ということは確かでない; fact1 & assump1 -> int1: その心気症は差し置かない; fact9 & fact14 -> int2: その心気症は差し置く; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「この扶養控除は小さいかまたは階級制度であるということはないかまたは両方だ」ということは事実と異なるとしたらその心気症は差し置かない
事実2: ある物は扱い兼ねないとすると「小さいか階級制度でない」ということは嘘である
事実3: もしも「その心気症は差し置かなくて扱い兼ねない」ということは本当であるということはないとするとあの均衡化は差し置く
事実4: もしこの扶養控除は扱い兼ねないなら「あの傑物は階級制度でないし預かれない」ということは事実と異なる
事実5: 「この茶運び人形は扱い兼ねるかあるいはシフトキーでない」ということは事実と異なる
事実6: その浪花節は差し置かない
事実7: 「もし仮に「「その心気症は差し置かなくてしかも階級制度でない」ということは真実だ」ということは成り立たないなら「この扶養控除は差し置く」ということは正しい」ということは間違いでない
事実8: この扶養控除は差し置くかあるいは階級制度だということはないか両方ともだ
事実9: 「あの均衡化は差し置かないししかもそれは扱い兼ねない」ということは事実と異なるとすればその心気症は差し置く
事実10: この扶養控除は小さいということはない
事実11: この扶養控除は差し置くということはないならば「扱い兼ねない」ということは真実だ
事実12: この財政学は階級制度だ
事実13: 「その心気症は小さいかもしくはそれはしおらしくないかもしくは両方である」ということは誤りである
事実14: 「あの均衡化は差し置かないししかも扱い兼ねない」ということは成り立たない
事実15: 「何かは窓外でないしまたそれは哀願でない」ということは成り立たないとすると御諫めするということはない
事実16: あの均衡化は小さいか差し置くということはないかまたはどちらもである
事実17: あの均衡化は階級制度であるかもしくはそれは扱い兼ねない
事実18: 「この扶養控除は囲うか仕事しない」ということは事実と異なる
事実19: 「この扶養控除は差し置かなくて加えて階級制度でない」ということは成り立たない
事実20: 「あの均衡化は差し置かないがしかし扱い兼ねる」ということは成り立つということはない
事実21: 「あの現行モデルは扱い兼ねるかあるいは供花でない」ということは間違いだ
事実22: 「あの均衡化は差し置く一方で扱い兼ねない」ということは成り立たない

仮説: この扶養控除は小さいかまたはそれは階級制度であるということはないかまたは両方だ
1. 仮定1: 以下のように仮定する。「この扶養控除は小さいかもしくは階級制度でない」ということは確かでない
2. 事実1と仮定1から、推論1: "その心気症は差し置かない"が導かれる
3. 事実9と事実14から、推論2: "その心気症は差し置く"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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