「この対価請求権はテレビ中継しない一方でそれは第四世代である」ということは間違いだ
fact1: この力学特性は遺言内容だしさらにアメリカらしい fact2: なにかは貝殻だということはない fact3: この力学特性は遺言内容である fact4: この対価請求権はアメリカらしくない fact5: もしもそのサニーレタスは支持線でないならば「それは借り受けるかあるいはスパルタ滓でないかもしくはどちらもである」ということは成り立たない fact6: もしも何らかの物は貝殻でないなら「それはアメリカらしくないか遺言内容でないかまたは両方だ」ということは間違いだ fact7: 仮に「この力学特性はアメリカらしくないかもしくは遺言内容でないかもしくはどちらもだ」ということは間違っているとするとこの対価請求権はテレビ中継しない fact8: この対価請求権は親しくないけど子育て支援サービスだ fact9: この対価請求権はテレビ中継しない fact10: 「「この対価請求権はテレビ中継するしそれに第四世代だ」ということは成り立つ」ということは成り立たない fact11: もしもこの対価請求権がテレビ中継するしかつ第四世代であるとしたらこの力学特性はアメリカらしくない fact12: もしも「「ＰＢ商品でなくてしかも高層ビル街でない」ということは偽な」ものはあるとすると「このがら空きはおっそろしない」ということは成り立つ fact13: このがら空きは脂肪量である fact14: そのハンセン病が貝殻でないかもしくはそれが具体的指示であるかもしくは両方ともであるならばこの力学特性は貝殻でない fact15: この対価請求権がテレビ中継しないがしかし第四世代だとするとこの力学特性はアメリカらしくない fact16: この力学特性が遺言内容でないがテレビ中継すればこの対価請求権は第四世代だということはない fact17: 「「ＰＢ商品でなくて高層ビル街でない」ということは成り立たない」ものはある fact18: もしその債権者代位権が支持線でないならそのサニーレタスは支持線でない fact19: 真っ黒いものは動かさないし喚き立てない fact20: 仮に「ある物は借り受けるかあるいはスパルタ滓でないかまたは両方ともだ」ということは成り立たないならそれは真っ黒い fact21: もしもこのがら空きがおっそろしないがしかし脂肪量だとするとその債権者代位権は支持線でない
void -> assump1: 以下のように仮定する。この対価請求権はテレビ中継しないけど第四世代だ; fact15 & assump1 -> int1: この力学特性はアメリカらしくない; fact1 -> int2: 「この力学特性はアメリカらしい」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact15 & assump1 -> int1: ¬{B}{b}; fact1 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この対価請求権はテレビ中継しないけど第四世代である
fact31 -> int4: もし「この力学特性は貝殻でない」ということは誤っていないなら「アメリカらしいということはないかまたは遺言内容でないかもしくは両方ともである」ということは誤りである; fact32 -> int5: もし仮にそのサニーレタスが真っ黒いとしたら動かさなくて喚き立てない; fact23 -> int6: もしも「そのサニーレタスは借り受けるかもしくはスパルタ滓でないかまたは両方ともだ」ということは成り立たないとすれば「それは真っ黒い」ということは正しい; fact28 & fact25 -> int7: このがら空きはおっそろしということはない; int7 & fact29 -> int8: このがら空きはおっそろしないがそれは脂肪量である; fact33 & int8 -> int9: その債権者代位権は支持線だということはない; fact27 & int9 -> int10: 「そのサニーレタスは支持線でない」ということは本当だ; fact26 & int10 -> int11: 「そのサニーレタスは借り受けるかまたはそれはスパルタ滓でない」ということは成り立つということはない; int6 & int11 -> int12: そのサニーレタスは真っ黒い; int5 & int12 -> int13: そのサニーレタスは動かさないししかも喚き立てない; int13 -> int14: 「動かさなくてまた喚き立てない」物はある;
$facts$ = fact1: この力学特性は遺言内容だしさらにアメリカらしい fact2: なにかは貝殻だということはない fact3: この力学特性は遺言内容である fact4: この対価請求権はアメリカらしくない fact5: もしもそのサニーレタスは支持線でないならば「それは借り受けるかあるいはスパルタ滓でないかもしくはどちらもである」ということは成り立たない fact6: もしも何らかの物は貝殻でないなら「それはアメリカらしくないか遺言内容でないかまたは両方だ」ということは間違いだ fact7: 仮に「この力学特性はアメリカらしくないかもしくは遺言内容でないかもしくはどちらもだ」ということは間違っているとするとこの対価請求権はテレビ中継しない fact8: この対価請求権は親しくないけど子育て支援サービスだ fact9: この対価請求権はテレビ中継しない fact10: 「「この対価請求権はテレビ中継するしそれに第四世代だ」ということは成り立つ」ということは成り立たない fact11: もしもこの対価請求権がテレビ中継するしかつ第四世代であるとしたらこの力学特性はアメリカらしくない fact12: もしも「「ＰＢ商品でなくてしかも高層ビル街でない」ということは偽な」ものはあるとすると「このがら空きはおっそろしない」ということは成り立つ fact13: このがら空きは脂肪量である fact14: そのハンセン病が貝殻でないかもしくはそれが具体的指示であるかもしくは両方ともであるならばこの力学特性は貝殻でない fact15: この対価請求権がテレビ中継しないがしかし第四世代だとするとこの力学特性はアメリカらしくない fact16: この力学特性が遺言内容でないがテレビ中継すればこの対価請求権は第四世代だということはない fact17: 「「ＰＢ商品でなくて高層ビル街でない」ということは成り立たない」ものはある fact18: もしその債権者代位権が支持線でないならそのサニーレタスは支持線でない fact19: 真っ黒いものは動かさないし喚き立てない fact20: 仮に「ある物は借り受けるかあるいはスパルタ滓でないかまたは両方ともだ」ということは成り立たないならそれは真っ黒い fact21: もしもこのがら空きがおっそろしないがしかし脂肪量だとするとその債権者代位権は支持線でない ; $hypothesis$ = 「この対価請求権はテレビ中継しない一方でそれは第四世代である」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この対価請求権はテレビ中継しないけど第四世代だ; fact15 & assump1 -> int1: この力学特性はアメリカらしくない; fact1 -> 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: もしもこのがら空きがおっそろしないがしかし脂肪量だとするとその債権者代位権は支持線でない

仮説: 「この対価請求権はテレビ中継しない一方でそれは第四世代である」ということは間違いだ
1. 仮定1: 以下のように仮定する。この対価請求権はテレビ中継しないけど第四世代だ
2. 事実15と仮定1から、推論1: "この力学特性はアメリカらしくない"が導かれる
3. 事実1から、推論2: "「この力学特性はアメリカらしい」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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