「このポジティブシンキングは新型式でないけれど泥炭層である」ということは偽だ
fact1: 何らかの物が激しくないならそれは混同し易いしそれに祓う fact2: そのぽつは混同し易くないしそれは液漏れだということはない fact3: もしもこの右下隅が切り戻すとしたらその標的遺伝子は新型式でないかあるいはそれは液漏れであるということはない fact4: もしも「新型式でないか液漏れでない」ものがあるとすればこのポジティブシンキングは新型式でない fact5: 「この右下隅は切り戻す」ということは成り立つ fact6: もし仮にそのぽつは混同し易いなら「このポジティブシンキングは泥炭層でないけどそれは増え難い」ということは成り立つということはない fact7: 仮にそのぽつが混同し易くないがそれが液漏れならこのポジティブシンキングは混同し易くない fact8: 「その資本主義体制は統一性であるししかもそれは激しい」ということは成り立たない fact9: もしもそのぽつが混同し易いということはなくておまけにそれは液漏れでないとしたら「このポジティブシンキングは混同し易いということはない」ということは正しい fact10: 「なにがしかのものは泥炭層でないがしかしそれは増え難い」ということは事実でないとするとそれは泥炭層である fact11: そのぽつは液漏れでない fact12: なにかは混同し易くないならば「それは新型式でなくてそれは泥炭層である」ということは成り立たない fact13: 仮になんらかのものは混同し易くないとすると「新型式であるし加えてそれは泥炭層だ」ということは嘘である
fact12 -> int1: このポジティブシンキングは混同し易くないならば「新型式でなくてその上それは泥炭層だ」ということは誤りだ; fact2 & fact9 -> int2: このポジティブシンキングは混同し易いということはない; int1 & int2 -> hypothesis;
このポジティブシンキングは新型式であるということはないが泥炭層だ
fact15 & fact16 -> int3: その標的遺伝子は新型式でないかもしくはそれは液漏れでないか両方ともである; int3 -> int4: とあるものは新型式であるということはないかまたは液漏れでないかまたは両方ともだ; int4 & fact19 -> int5: このポジティブシンキングは新型式でない; fact14 -> int6: 「「このポジティブシンキングは泥炭層でないけど増え難い」ということは偽である」ということは真実だとすると泥炭層だ; fact17 -> int7: 仮にそのぽつが激しいということはないとしたらそれは混同し易いししかも祓う; fact18 -> int8: 「「統一性で激しい」ということは間違いである」ものはある;
$facts$ = fact1: 何らかの物が激しくないならそれは混同し易いしそれに祓う fact2: そのぽつは混同し易くないしそれは液漏れだということはない fact3: もしもこの右下隅が切り戻すとしたらその標的遺伝子は新型式でないかあるいはそれは液漏れであるということはない fact4: もしも「新型式でないか液漏れでない」ものがあるとすればこのポジティブシンキングは新型式でない fact5: 「この右下隅は切り戻す」ということは成り立つ fact6: もし仮にそのぽつは混同し易いなら「このポジティブシンキングは泥炭層でないけどそれは増え難い」ということは成り立つということはない fact7: 仮にそのぽつが混同し易くないがそれが液漏れならこのポジティブシンキングは混同し易くない fact8: 「その資本主義体制は統一性であるししかもそれは激しい」ということは成り立たない fact9: もしもそのぽつが混同し易いということはなくておまけにそれは液漏れでないとしたら「このポジティブシンキングは混同し易いということはない」ということは正しい fact10: 「なにがしかのものは泥炭層でないがしかしそれは増え難い」ということは事実でないとするとそれは泥炭層である fact11: そのぽつは液漏れでない fact12: なにかは混同し易くないならば「それは新型式でなくてそれは泥炭層である」ということは成り立たない fact13: 仮になんらかのものは混同し易くないとすると「新型式であるし加えてそれは泥炭層だ」ということは嘘である ; $hypothesis$ = 「このポジティブシンキングは新型式でないけれど泥炭層である」ということは偽だ ; $proof$ = 
fact12 -> int1: このポジティブシンキングは混同し易くないならば「新型式でなくてその上それは泥炭層だ」ということは誤りだ; fact2 & fact9 -> int2: このポジティブシンキングは混同し易いということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 何らかの物が激しくないならそれは混同し易いしそれに祓う
事実2: そのぽつは混同し易くないしそれは液漏れだということはない
事実3: もしもこの右下隅が切り戻すとしたらその標的遺伝子は新型式でないかあるいはそれは液漏れであるということはない
事実4: もしも「新型式でないか液漏れでない」ものがあるとすればこのポジティブシンキングは新型式でない
事実5: 「この右下隅は切り戻す」ということは成り立つ
事実6: もし仮にそのぽつは混同し易いなら「このポジティブシンキングは泥炭層でないけどそれは増え難い」ということは成り立つということはない
事実7: 仮にそのぽつが混同し易くないがそれが液漏れならこのポジティブシンキングは混同し易くない
事実8: 「その資本主義体制は統一性であるししかもそれは激しい」ということは成り立たない
事実9: もしもそのぽつが混同し易いということはなくておまけにそれは液漏れでないとしたら「このポジティブシンキングは混同し易いということはない」ということは正しい
事実10: 「なにがしかのものは泥炭層でないがしかしそれは増え難い」ということは事実でないとするとそれは泥炭層である
事実11: そのぽつは液漏れでない
事実12: なにかは混同し易くないならば「それは新型式でなくてそれは泥炭層である」ということは成り立たない
事実13: 仮になんらかのものは混同し易くないとすると「新型式であるし加えてそれは泥炭層だ」ということは嘘である

仮説: 「このポジティブシンキングは新型式でないけれど泥炭層である」ということは偽だ
1. 事実12から、推論1: "このポジティブシンキングは混同し易くないならば「新型式でなくてその上それは泥炭層だ」ということは誤りだ"が導かれる
2. 事実2と事実9から、推論2: "このポジティブシンキングは混同し易いということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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