「もしも信じ易くないならば余民であるかもしくは蹴立てないか両方ともな」物はある
fact1: その五年後は余民であるかあるいは蹴立てるかもしくは両方である fact2: もしも「何かは余民であるかあるいはそれは蹴立てない」ということは成り立つということはないなら信じ易い fact3: もし仮に「その五年後は余民であるかまたは蹴立てる」ということは成り立たないとすると信じ易い fact4: もしも「なにかは紳士服であるかまたはそれは吹き易いということはないかまたは両方である」ということは確かだとすれば輸入保税蔵置場である fact5: あの入会手続きは安っぽいし悪し fact6: もし仮に「なにかは余民であるかまたは蹴立てるかあるいは両方だ」ということは誤っているとすればそれは信じ易い fact7: もしその五年後は余民であるかもしくは蹴立てないか両方ともならば信じ易い fact8: 「仮に信じ易いとすれば余民であるかあるいは蹴立てないかもしくは両方ともな」ものはある fact9: その五年後は余民でない fact10: 「仮に退職給付会計基準であるとすれば其れらしいかもしくはランプでないか両方ともである」物はある fact11: 「仮に信じ易くないとしたら余民であるかまたは蹴立てる」物はある fact12: その五年後は蹴立てる fact13: 「何かは初老期痴呆であるかもしくはそれは意義付ける」ということは事実と異なるとすると捕らえ難い fact14: もし仮に何らかの物が余民であるかもしくは蹴立てないかあるいは両方ともならばそれは信じ易い fact15: 仮にその五年後が信じ易いということはないとしたら余民であるかまたは蹴立てる fact16: 安っぽくて加えて結合し易い物は信じ易いということはない fact17: もしも「あの男権社会は事業範囲であるかあるいはそれは信じ易くないかどちらもである」ということは正しいなら「それは挨拶だ」ということは成り立つ
fact2 -> int1: 「その五年後は余民であるかあるいは蹴立てないかもしくは両方ともだ」ということは成り立たないとするとそれは信じ易い; void -> assump2: 以下のように仮定する。「その五年後は余民であるかあるいはそれは蹴立てるということはないかどちらもである」ということは誤っている; int1 & assump2 -> int2: その五年後は信じ易い; void -> assump1: 以下のように仮定する。その五年後は信じ易いということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その五年後は余民であるかまたはそれは蹴立てない; [assump1] & int4 -> int5: 「もし仮に「その五年後は信じ易いということはない」ということは成り立つとすればあの五年後は余民であるかまたは蹴立てないかもしくは両方だ」ということは成り立つ; int5 -> hypothesis;
あの入会手続きは信じ易いということはない
fact19 -> int6: もし仮にあの入会手続きは安っぽいしさらに結合し易いならそれは信じ易くない; fact18 -> int7: あの入会手続きは安っぽい;
$facts$ = fact1: その五年後は余民であるかあるいは蹴立てるかもしくは両方である fact2: もしも「何かは余民であるかあるいはそれは蹴立てない」ということは成り立つということはないなら信じ易い fact3: もし仮に「その五年後は余民であるかまたは蹴立てる」ということは成り立たないとすると信じ易い fact4: もしも「なにかは紳士服であるかまたはそれは吹き易いということはないかまたは両方である」ということは確かだとすれば輸入保税蔵置場である fact5: あの入会手続きは安っぽいし悪し fact6: もし仮に「なにかは余民であるかまたは蹴立てるかあるいは両方だ」ということは誤っているとすればそれは信じ易い fact7: もしその五年後は余民であるかもしくは蹴立てないか両方ともならば信じ易い fact8: 「仮に信じ易いとすれば余民であるかあるいは蹴立てないかもしくは両方ともな」ものはある fact9: その五年後は余民でない fact10: 「仮に退職給付会計基準であるとすれば其れらしいかもしくはランプでないか両方ともである」物はある fact11: 「仮に信じ易くないとしたら余民であるかまたは蹴立てる」物はある fact12: その五年後は蹴立てる fact13: 「何かは初老期痴呆であるかもしくはそれは意義付ける」ということは事実と異なるとすると捕らえ難い fact14: もし仮に何らかの物が余民であるかもしくは蹴立てないかあるいは両方ともならばそれは信じ易い fact15: 仮にその五年後が信じ易いということはないとしたら余民であるかまたは蹴立てる fact16: 安っぽくて加えて結合し易い物は信じ易いということはない fact17: もしも「あの男権社会は事業範囲であるかあるいはそれは信じ易くないかどちらもである」ということは正しいなら「それは挨拶だ」ということは成り立つ ; $hypothesis$ = 「もしも信じ易くないならば余民であるかもしくは蹴立てないか両方ともな」物はある ; $proof$ = 
fact2 -> int1: 「その五年後は余民であるかあるいは蹴立てないかもしくは両方ともだ」ということは成り立たないとするとそれは信じ易い; void -> assump2: 以下のように仮定する。「その五年後は余民であるかあるいはそれは蹴立てるということはないかどちらもである」ということは誤っている; int1 & assump2 -> int2: その五年後は信じ易い; void -> assump1: 以下のように仮定する。その五年後は信じ易いということはない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その五年後は余民であるかまたはそれは蹴立てない; [assump1] & int4 -> int5: 「もし仮に「その五年後は信じ易いということはない」ということは成り立つとすればあの五年後は余民であるかまたは蹴立てないかもしくは両方だ」ということは成り立つ; int5 -> hypothesis; __PROVED__
事実1: その五年後は余民であるかあるいは蹴立てるかもしくは両方である
事実2: もしも「何かは余民であるかあるいはそれは蹴立てない」ということは成り立つということはないなら信じ易い
事実3: もし仮に「その五年後は余民であるかまたは蹴立てる」ということは成り立たないとすると信じ易い
事実4: もしも「なにかは紳士服であるかまたはそれは吹き易いということはないかまたは両方である」ということは確かだとすれば輸入保税蔵置場である
事実5: あの入会手続きは安っぽいし悪し
事実6: もし仮に「なにかは余民であるかまたは蹴立てるかあるいは両方だ」ということは誤っているとすればそれは信じ易い
事実7: もしその五年後は余民であるかもしくは蹴立てないか両方ともならば信じ易い
事実8: 「仮に信じ易いとすれば余民であるかあるいは蹴立てないかもしくは両方ともな」ものはある
事実9: その五年後は余民でない
事実10: 「仮に退職給付会計基準であるとすれば其れらしいかもしくはランプでないか両方ともである」物はある
事実11: 「仮に信じ易くないとしたら余民であるかまたは蹴立てる」物はある
事実12: その五年後は蹴立てる
事実13: 「何かは初老期痴呆であるかもしくはそれは意義付ける」ということは事実と異なるとすると捕らえ難い
事実14: もし仮に何らかの物が余民であるかもしくは蹴立てないかあるいは両方ともならばそれは信じ易い
事実15: 仮にその五年後が信じ易いということはないとしたら余民であるかまたは蹴立てる
事実16: 安っぽくて加えて結合し易い物は信じ易いということはない
事実17: もしも「あの男権社会は事業範囲であるかあるいはそれは信じ易くないかどちらもである」ということは正しいなら「それは挨拶だ」ということは成り立つ

仮説: 「もしも信じ易くないならば余民であるかもしくは蹴立てないか両方ともな」物はある
1. 事実2から、推論1: "「その五年後は余民であるかあるいは蹴立てないかもしくは両方ともだ」ということは成り立たないとするとそれは信じ易い"が導かれる
2. 仮定2: 以下のように仮定する。「その五年後は余民であるかあるいはそれは蹴立てるということはないかどちらもである」ということは誤っている
3. 推論1と仮定2から、推論2: "その五年後は信じ易い"が導かれる
4. 仮定1: 以下のように仮定する。その五年後は信じ易いということはない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その五年後は余民であるかまたはそれは蹴立てない"が導かれる
7. [仮定1]と推論4から、推論5: "「もし仮に「その五年後は信じ易いということはない」ということは成り立つとすればあの五年後は余民であるかまたは蹴立てないかもしくは両方だ」ということは成り立つ"が導かれる
8. 推論5から、仮説が導かれる

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