もしも「そのエアコンは捨て去れる」ということは事実ならその井戸神は頭領である
fact1: もしも「あの保証機関は騙さないかまたはそれは収集するということはないかまたはどちらもだ」ということは事実と異なるとすればその井戸神は頭領だ fact2: 仮に「そのエアコンは捨て去れないかそれは頭領であるかもしくは両方ともだ」ということは成り立たないなら「あの保証機関は騙す」ということは成り立つ fact3: もしもそのエアコンは捨て去れるとすれば「あの保証機関は騙さないかもしくはそれは収集しないかあるいは両方だ」ということは誤っている
void -> assump1: 以下のように仮定する。そのエアコンは捨て去れる; fact3 & assump1 -> int1: 「あの保証機関は騙さないか収集しないか両方ともである」ということは成り立たない; int1 & fact1 -> int2: その井戸神は頭領だ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしも「あの保証機関は騙さないかまたはそれは収集するということはないかまたはどちらもだ」ということは事実と異なるとすればその井戸神は頭領だ fact2: 仮に「そのエアコンは捨て去れないかそれは頭領であるかもしくは両方ともだ」ということは成り立たないなら「あの保証機関は騙す」ということは成り立つ fact3: もしもそのエアコンは捨て去れるとすれば「あの保証機関は騙さないかもしくはそれは収集しないかあるいは両方だ」ということは誤っている ; $hypothesis$ = もしも「そのエアコンは捨て去れる」ということは事実ならその井戸神は頭領である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのエアコンは捨て去れる; fact3 & assump1 -> int1: 「あの保証機関は騙さないか収集しないか両方ともである」ということは成り立たない; int1 & fact1 -> int2: その井戸神は頭領だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしも「あの保証機関は騙さないかまたはそれは収集するということはないかまたはどちらもだ」ということは事実と異なるとすればその井戸神は頭領だ
事実2: 仮に「そのエアコンは捨て去れないかそれは頭領であるかもしくは両方ともだ」ということは成り立たないなら「あの保証機関は騙す」ということは成り立つ
事実3: もしもそのエアコンは捨て去れるとすれば「あの保証機関は騙さないかもしくはそれは収集しないかあるいは両方だ」ということは誤っている

仮説: もしも「そのエアコンは捨て去れる」ということは事実ならその井戸神は頭領である
1. 仮定1: 以下のように仮定する。そのエアコンは捨て去れる
2. 事実3と仮定1から、推論1: "「あの保証機関は騙さないか収集しないか両方ともである」ということは成り立たない"が導かれる
3. 推論1と事実1から、推論2: "その井戸神は頭領だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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