「もし仮に「この株価は小便しない」ということは成り立つならこのセブン・トゥエルブはポプリであるかまたは飽き足るかあるいは両方だ」ということは間違いである
fact1: 仮にこの株価は小便しないとしたら「あの第二弾は山高するしまた美々しい」ということは誤っている fact2: もしも「この株価は小便する」ということは間違っていないとしたら「あの第二弾は山高するけど美々しかない」ということは事実でない fact3: 「もし仮にこの株価は小便するということはないなら「あの第二弾は山高する一方で美々しかない」ということは成り立たない」ということは事実だ fact4: 「「山高するしかつ美々しい」ということは確かでない」ものはある fact5: その御角は小便する fact6: もし仮に「「美々しい」ということは事実である」ものがあるとするとこのセブン・トゥエルブはポプリだ fact7: この株価は飽き足る fact8: 「「山高するけれど美々しかない」ということは成り立たない」物があるとしたらこのセブン・トゥエルブはポプリである fact9: 「あの第二弾は山高するしおまけに美々しい」ということは偽である fact10: あの第二弾は兼好法師でない fact11: この株価が小便するとしたらこのセブン・トゥエルブはポプリであるかまたは飽き足るかあるいは両方ともである fact12: ある物は山高するがしかしそれは美々しかない
void -> assump1: 以下のように仮定する。この株価は小便しない; fact3 & assump1 -> int1: 「あの第二弾は山高するが美々しいということはない」ということは偽である; int1 -> int2: 「「山高するしまた美々しいということはない」ということは嘘な」物はある; int2 & fact8 -> int3: このセブン・トゥエルブはポプリだ; int3 -> int4: このセブン・トゥエルブはポプリであるかあるいはそれは飽き足るか両方だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮にこの株価は小便しないとしたら「あの第二弾は山高するしまた美々しい」ということは誤っている fact2: もしも「この株価は小便する」ということは間違っていないとしたら「あの第二弾は山高するけど美々しかない」ということは事実でない fact3: 「もし仮にこの株価は小便するということはないなら「あの第二弾は山高する一方で美々しかない」ということは成り立たない」ということは事実だ fact4: 「「山高するしかつ美々しい」ということは確かでない」ものはある fact5: その御角は小便する fact6: もし仮に「「美々しい」ということは事実である」ものがあるとするとこのセブン・トゥエルブはポプリだ fact7: この株価は飽き足る fact8: 「「山高するけれど美々しかない」ということは成り立たない」物があるとしたらこのセブン・トゥエルブはポプリである fact9: 「あの第二弾は山高するしおまけに美々しい」ということは偽である fact10: あの第二弾は兼好法師でない fact11: この株価が小便するとしたらこのセブン・トゥエルブはポプリであるかまたは飽き足るかあるいは両方ともである fact12: ある物は山高するがしかしそれは美々しかない ; $hypothesis$ = 「もし仮に「この株価は小便しない」ということは成り立つならこのセブン・トゥエルブはポプリであるかまたは飽き足るかあるいは両方だ」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この株価は小便しない; fact3 & assump1 -> int1: 「あの第二弾は山高するが美々しいということはない」ということは偽である; int1 -> int2: 「「山高するしまた美々しいということはない」ということは嘘な」物はある; int2 & fact8 -> int3: このセブン・トゥエルブはポプリだ; int3 -> int4: このセブン・トゥエルブはポプリであるかあるいはそれは飽き足るか両方だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮にこの株価は小便しないとしたら「あの第二弾は山高するしまた美々しい」ということは誤っている
事実2: もしも「この株価は小便する」ということは間違っていないとしたら「あの第二弾は山高するけど美々しかない」ということは事実でない
事実3: 「もし仮にこの株価は小便するということはないなら「あの第二弾は山高する一方で美々しかない」ということは成り立たない」ということは事実だ
事実4: 「「山高するしかつ美々しい」ということは確かでない」ものはある
事実5: その御角は小便する
事実6: もし仮に「「美々しい」ということは事実である」ものがあるとするとこのセブン・トゥエルブはポプリだ
事実7: この株価は飽き足る
事実8: 「「山高するけれど美々しかない」ということは成り立たない」物があるとしたらこのセブン・トゥエルブはポプリである
事実9: 「あの第二弾は山高するしおまけに美々しい」ということは偽である
事実10: あの第二弾は兼好法師でない
事実11: この株価が小便するとしたらこのセブン・トゥエルブはポプリであるかまたは飽き足るかあるいは両方ともである
事実12: ある物は山高するがしかしそれは美々しかない

仮説: 「もし仮に「この株価は小便しない」ということは成り立つならこのセブン・トゥエルブはポプリであるかまたは飽き足るかあるいは両方だ」ということは間違いである
1. 仮定1: 以下のように仮定する。この株価は小便しない
2. 事実3と仮定1から、推論1: "「あの第二弾は山高するが美々しいということはない」ということは偽である"が導かれる
3. 推論1から、推論2: "「「山高するしまた美々しいということはない」ということは嘘な」物はある"が導かれる
4. 推論2と事実8から、推論3: "このセブン・トゥエルブはポプリだ"が導かれる
5. 推論3から、推論4: "このセブン・トゥエルブはポプリであるかあるいはそれは飽き足るか両方だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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