そのペンクラブは癌巣であるか再発しない
fact1: そのペンクラブは切り売りしない fact2: そのペンクラブは干す fact3: もし仮にそのペンクラブは癌巣だということはないとすると「その背丈以上が癌巣だしそれに再発する」ということは真実だ fact4: この修整は疑り深い fact5: 仮に「そのペンクラブは癌巣であるかまたは再発しない」ということは成り立つということはないとしたら「捩れない」ということは事実だ fact6: そのペンクラブが再発しないならばその背丈以上は再発する fact7: あの停止顔効果は疑り深い fact8: その背丈以上は疑り深くない fact9: 「その背丈以上は癌巣である」ということは成り立つ fact10: もしも「その背丈以上は疑り深いかまたは癌巣だ」ということは嘘であるとしたら「それは捩れない」ということは正しい fact11: そのペンクラブは助力するということはない fact12: もし「あの花器は緊迫するかもしくはそれは再発しない」ということは誤りだとすれば解禁しない fact13: もしもそのペンクラブが捩れないならばあの背丈以上は捩れるし疑り深い fact14: あのうるかは再発する fact15: 「そのペンクラブは疑り深くない」ということは確かだ fact16: その背丈以上は捩れる fact17: 「その背丈以上は癌巣であるかそれは再発する」ということは誤っているとしたらそれは捩れない fact18: その背丈以上は癌巣でしかも捩れる fact19: 「その背丈以上は出回る」ということは成り立つ fact20: この体様は再発しない fact21: もしもなにがしかのものは異議申し立て国であるとすると「それは癌巣であるかあるいは再発しないかあるいはどちらもだ」ということは正しくない
void -> assump1: 以下のように仮定する。「「そのペンクラブは癌巣であるかあるいはそれは再発しないかあるいは両方だ」ということは真実である」ということは成り立たない; fact5 & assump1 -> int1: そのペンクラブは捩れるということはない; int1 & fact13 -> int2: その背丈以上は捩れるし疑り深い; int2 -> int3: その背丈以上は疑り深い; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「そのペンクラブは癌巣であるかもしくは再発しない」ということは事実だということはない
fact22 -> int5: もし仮にそのペンクラブは異議申し立て国であるとすれば「癌巣であるかもしくは再発しないかあるいはどちらもだ」ということは誤りだ;
$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: 以下のように仮定する。「「そのペンクラブは癌巣であるかあるいはそれは再発しないかあるいは両方だ」ということは真実である」ということは成り立たない; fact5 & assump1 -> int1: そのペンクラブは捩れるということはない; int1 & fact13 -> int2: その背丈以上は捩れるし疑り深い; int2 -> int3: その背丈以上は疑り深い; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> 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. 事実5と仮定1から、推論1: "そのペンクラブは捩れるということはない"が導かれる
3. 推論1と事実13から、推論2: "その背丈以上は捩れるし疑り深い"が導かれる
4. 推論2から、推論3: "その背丈以上は疑り深い"が導かれる
5. 推論3と事実8から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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