「その自動車生産台数は滑り難いということはないかもしくはそれは香しいということはないかもしくは両方ともである」ということは成り立たない
fact1: 仮に何かは引き比べないならば「滑り難くないかまたは香しかないかもしくは両方ともである」ということは誤っている fact2: このピンゴルフジャパンはベニヤ板であるか香しいということはないかまたは両方ともである fact3: もし仮にその自動車生産台数が年長者だとしたらこのピンゴルフジャパンはベニヤ板であるけれど滑り難くない fact4: 滑り難い物はある fact5: 仮にその自動車生産台数が滑り難いとすればこのピンゴルフジャパンは年長者である一方でベニヤ板でない fact6: もしもその自動車生産台数がベニヤ板であるとしたらこのピンゴルフジャパンは香しかない fact7: もし仮に香しかないものが滑り難いとしたらベニヤ板でない fact8: なにがしかのものはベニヤ板である fact9: もし「このピンゴルフジャパンは引き比べるしそれに天狗らしい」ということは誤っているとすると「その自動車生産台数は引き比べない」ということは本当である fact10: 「香しい」ものはある fact11: もし仮に「「ベニヤ板な」ものはある」ということは事実であるとすると「このピンゴルフジャパンは滑り難いしおまけにベニヤ板だ」ということは成り立たない fact12: その自動車生産台数は強肩でない fact13: もしこのピンゴルフジャパンが香しいとすればあの自動車生産台数は年長者でない fact14: もしも「ベニヤ板な」物はあれば「このピンゴルフジャパンは年長者である一方でベニヤ板でない」ということは間違いである fact15: もし仮にこのピンゴルフジャパンが滑り難いとするとその自動車生産台数は香しいが年長者でない fact16: もし「香しい」物はあるとすれば「このピンゴルフジャパンは年長者であるしおまけにそれは香しい」ということは成り立たない fact17: その自動車生産台数は年長者でないかまたは滑り難い fact18: あのリプロダクティブ・ヘルス／ライツは香しい fact19: 仮に「ベニヤ板である」ものはあれば「「このピンゴルフジャパンは年長者であるしかつベニヤ板だ」ということは確かだ」ということは嘘である
void -> assump1: 以下のように仮定する。その自動車生産台数は滑り難い; fact5 & assump1 -> int1: このピンゴルフジャパンは年長者であるけどベニヤ板でない; fact8 & fact14 -> int2: 「このピンゴルフジャパンは年長者であるけどベニヤ板でない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その自動車生産台数は滑り難くない; int4 -> hypothesis;
あの総飾りはベニヤ板でない
fact20 -> int5: あの総飾りは香しかないが滑り難いとするとベニヤ板でない;
$facts$ = fact1: 仮に何かは引き比べないならば「滑り難くないかまたは香しかないかもしくは両方ともである」ということは誤っている fact2: このピンゴルフジャパンはベニヤ板であるか香しいということはないかまたは両方ともである fact3: もし仮にその自動車生産台数が年長者だとしたらこのピンゴルフジャパンはベニヤ板であるけれど滑り難くない fact4: 滑り難い物はある fact5: 仮にその自動車生産台数が滑り難いとすればこのピンゴルフジャパンは年長者である一方でベニヤ板でない fact6: もしもその自動車生産台数がベニヤ板であるとしたらこのピンゴルフジャパンは香しかない fact7: もし仮に香しかないものが滑り難いとしたらベニヤ板でない fact8: なにがしかのものはベニヤ板である fact9: もし「このピンゴルフジャパンは引き比べるしそれに天狗らしい」ということは誤っているとすると「その自動車生産台数は引き比べない」ということは本当である fact10: 「香しい」ものはある fact11: もし仮に「「ベニヤ板な」ものはある」ということは事実であるとすると「このピンゴルフジャパンは滑り難いしおまけにベニヤ板だ」ということは成り立たない fact12: その自動車生産台数は強肩でない fact13: もしこのピンゴルフジャパンが香しいとすればあの自動車生産台数は年長者でない fact14: もしも「ベニヤ板な」物はあれば「このピンゴルフジャパンは年長者である一方でベニヤ板でない」ということは間違いである fact15: もし仮にこのピンゴルフジャパンが滑り難いとするとその自動車生産台数は香しいが年長者でない fact16: もし「香しい」物はあるとすれば「このピンゴルフジャパンは年長者であるしおまけにそれは香しい」ということは成り立たない fact17: その自動車生産台数は年長者でないかまたは滑り難い fact18: あのリプロダクティブ・ヘルス／ライツは香しい fact19: 仮に「ベニヤ板である」ものはあれば「「このピンゴルフジャパンは年長者であるしかつベニヤ板だ」ということは確かだ」ということは嘘である ; $hypothesis$ = 「その自動車生産台数は滑り難いということはないかもしくはそれは香しいということはないかもしくは両方ともである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その自動車生産台数は滑り難い; fact5 & assump1 -> int1: このピンゴルフジャパンは年長者であるけどベニヤ板でない; fact8 & fact14 -> int2: 「このピンゴルフジャパンは年長者であるけどベニヤ板でない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その自動車生産台数は滑り難くない; int4 -> hypothesis; __DISPROVED__
事実1: 仮に何かは引き比べないならば「滑り難くないかまたは香しかないかもしくは両方ともである」ということは誤っている
事実2: このピンゴルフジャパンはベニヤ板であるか香しいということはないかまたは両方ともである
事実3: もし仮にその自動車生産台数が年長者だとしたらこのピンゴルフジャパンはベニヤ板であるけれど滑り難くない
事実4: 滑り難い物はある
事実5: 仮にその自動車生産台数が滑り難いとすればこのピンゴルフジャパンは年長者である一方でベニヤ板でない
事実6: もしもその自動車生産台数がベニヤ板であるとしたらこのピンゴルフジャパンは香しかない
事実7: もし仮に香しかないものが滑り難いとしたらベニヤ板でない
事実8: なにがしかのものはベニヤ板である
事実9: もし「このピンゴルフジャパンは引き比べるしそれに天狗らしい」ということは誤っているとすると「その自動車生産台数は引き比べない」ということは本当である
事実10: 「香しい」ものはある
事実11: もし仮に「「ベニヤ板な」ものはある」ということは事実であるとすると「このピンゴルフジャパンは滑り難いしおまけにベニヤ板だ」ということは成り立たない
事実12: その自動車生産台数は強肩でない
事実13: もしこのピンゴルフジャパンが香しいとすればあの自動車生産台数は年長者でない
事実14: もしも「ベニヤ板な」物はあれば「このピンゴルフジャパンは年長者である一方でベニヤ板でない」ということは間違いである
事実15: もし仮にこのピンゴルフジャパンが滑り難いとするとその自動車生産台数は香しいが年長者でない
事実16: もし「香しい」物はあるとすれば「このピンゴルフジャパンは年長者であるしおまけにそれは香しい」ということは成り立たない
事実17: その自動車生産台数は年長者でないかまたは滑り難い
事実18: あのリプロダクティブ・ヘルス／ライツは香しい
事実19: 仮に「ベニヤ板である」ものはあれば「「このピンゴルフジャパンは年長者であるしかつベニヤ板だ」ということは確かだ」ということは嘘である

仮説: 「その自動車生産台数は滑り難いということはないかもしくはそれは香しいということはないかもしくは両方ともである」ということは成り立たない
1. 仮定1: 以下のように仮定する。その自動車生産台数は滑り難い
2. 事実5と仮定1から、推論1: "このピンゴルフジャパンは年長者であるけどベニヤ板でない"が導かれる
3. 事実8と事実14から、推論2: "「このピンゴルフジャパンは年長者であるけどベニヤ板でない」ということは間違っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その自動車生産台数は滑り難くない"が導かれる
6. 推論4から、仮説が否定される

よって、仮説が否定されました。