もし「あのライトケースはテレホンカード集めでない」ということは本当であるとするとその矛は付け加えるしそれにそれは立て易い
fact1: 「あの祭壇は立て易い」ということは正しい fact2: もし「その矛はねちっこいかまたはそれは包摂するかもしくは両方ともである」ということは嘘であるなら付け加える fact3: その泥棒運転が艶っぽいとすれば減損会計基準である fact4: もしもこの御天道様は折れ易くないとすると「その泥棒運転は艶っぽい物で加えて乱れ飛ぶ」ということは確かである fact5: 仮にその泥棒運転は減損会計基準であるなら「あのライトケースは内科部長でないし流布しない」ということは偽だ fact6: あのライトケースは包摂する fact7: 「あのライトケースはテレホンカード集めでない」ということは事実と異ならないならば「その矛はねちっこいか包摂しない」ということは事実と異なる fact8: あのライトケースは固ししかつ大書する fact9: もしその矛はテレホンカード集めでないなら「「あのライトケースは付け加えるかもしくはそれは包摂しないかあるいは両方ともだ」ということは真実だ」ということは事実と異なる fact10: もしある物は立て易くないかまたはテレホンカード集めであるかあるいは両方ともだとしたらそれはテレホンカード集めである fact11: 仮にあのライトケースがテレホンカード集めだとするとその矛は付け加えるしまた立て易い fact12: もしあのライトケースは包摂しないなら「その矛はテレホンカード集めであるか付け加えるということはない」ということは誤りである fact13: 「あのライトケースはテレホンカード集めであるか付け加えるということはない」ということは偽であるとすると包摂する fact14: もしも「あのライトケースはテレホンカード集めである」ということは事実だとすれば「その矛はねちっこいかまたは包摂しない」ということは間違いである fact15: その矛は立て易い fact16: あのライトケースはねちっこい fact17: あのライトケースはねちっこいし休み始める fact18: その矛は搬送する fact19: 仮に「あのライトケースはテレホンカード集めでない」ということは正しいとすればその矛は包摂する fact20: その矛は包摂する fact21: もし仮に「その矛はねちっこいかまたは包摂しない」ということは成り立つということはないとするとそれは付け加える fact22: 何らかのものが付け加えないとすればそれは立て易くないかもしくはテレホンカード集めであるかあるいは両方ともだ
void -> assump1: 以下のように仮定する。あのライトケースはテレホンカード集めでない; fact7 & assump1 -> int1: 「その矛はねちっこいかあるいは包摂しない」ということは偽だ; int1 & fact21 -> int2: その矛は付け加える; int2 & fact15 -> int3: その矛は付け加えるししかも立て易い; [assump1] & int3 -> hypothesis;
「その矛はテレホンカード集めである」ということは確かだ
fact26 -> int4: 仮にその矛は立て易くないかもしくはテレホンカード集めであるかあるいは両方であるならそれはテレホンカード集めである; fact23 -> int5: もし仮にその矛が付け加えないとするとそれは立て易いということはないかもしくはテレホンカード集めであるか両方だ;
$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: 以下のように仮定する。あのライトケースはテレホンカード集めでない; fact7 & assump1 -> int1: 「その矛はねちっこいかあるいは包摂しない」ということは偽だ; int1 & fact21 -> int2: その矛は付け加える; int2 & fact15 -> 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. 事実7と仮定1から、推論1: "「その矛はねちっこいかあるいは包摂しない」ということは偽だ"が導かれる
3. 推論1と事実21から、推論2: "その矛は付け加える"が導かれる
4. 推論2と事実15から、推論3: "その矛は付け加えるししかも立て易い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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