このＢＲはテークバックする
fact1: このＢＲは嘘っぽい fact2: もし仮に「このＢＲは嘘っぽくないかもしくはテークバックするということはないかまたは両方ともだ」ということは確かであるとするとその真北はテークバックしない fact3: もしもその盆神様は選出でないとすれば「このＢＲはテークバックする」ということは正しい fact4: もし仮にその盆神様がテークバックするということはないとするとこのＢＲはピラニアである fact5: あの軍事費は涼しかないし嘘っぽくないとすると「あの牛小屋は嘘っぽいということはない」ということは真実である fact6: もし「あの軍事費はオーケストレーションだ」ということは成り立つとすると交雑するけど嘘っぽくない fact7: 涼しい物は嘘っぽくない fact8: 仮になんらかの物が嘘っぽいならばそれは選出でない fact9: この船型碑はテークバックする fact10: 自然らしくないものはドラックするししかもピラニアである fact11: 「仮に「その盆神様は涼しかなくてしかもピラニアでない」ということは誤っているとすればあの盆神様は嘘っぽい」ということは誤りでない fact12: 「あの当事者等は自然らしいということはない一方でそれは参画する」ということは真実だ fact13: 「何かは選出でないがテークバックする」ということは成り立たないとするとそれはテークバックしない fact14: もしあの牛小屋は嘘っぽくないならば「このＢＲは選出だということはないがテークバックする」ということは誤っている fact15: もし仮に「ドラックするし更にピラニアである」物があればあの軍事費は涼しかない fact16: 「このＢＲはテークバックしなくて嘘っぽくない」ということは成り立たない fact17: このＢＲは選出でない fact18: 仮に「その盆神様は涼しい」ということは正しいならば「それは嘘っぽくない」ということは事実と異なる fact19: 「その盆神様は涼しいがしかしピラニアでない」ということは偽だ fact20: 仮にその盆神様がテークバックしないとしたらこのＢＲは嘘っぽい fact21: 「その盆神様は涼しかなくてしかもそれはピラニアでない」ということは誤りだ fact22: 「このＢＲは巻き接ぎしなくて加えてそれは嘘っぽくない」ということは本当でない fact23: このＢＲはピラニアである
fact8 -> int1: もしその盆神様は嘘っぽいとしたら「選出でない」ということは成り立つ; fact11 & fact21 -> int2: その盆神様は嘘っぽい; int1 & int2 -> int3: その盆神様は選出でない; int3 & fact3 -> hypothesis;
fact8 -> int1: {A}{aa} -> ¬{C}{aa}; fact11 & fact21 -> int2: {A}{aa}; int1 & int2 -> int3: ¬{C}{aa}; int3 & fact3 -> hypothesis;
その真北はテークバックしない
$facts$ = fact1: このＢＲは嘘っぽい fact2: もし仮に「このＢＲは嘘っぽくないかもしくはテークバックするということはないかまたは両方ともだ」ということは確かであるとするとその真北はテークバックしない fact3: もしもその盆神様は選出でないとすれば「このＢＲはテークバックする」ということは正しい fact4: もし仮にその盆神様がテークバックするということはないとするとこのＢＲはピラニアである fact5: あの軍事費は涼しかないし嘘っぽくないとすると「あの牛小屋は嘘っぽいということはない」ということは真実である fact6: もし「あの軍事費はオーケストレーションだ」ということは成り立つとすると交雑するけど嘘っぽくない fact7: 涼しい物は嘘っぽくない fact8: 仮になんらかの物が嘘っぽいならばそれは選出でない fact9: この船型碑はテークバックする fact10: 自然らしくないものはドラックするししかもピラニアである fact11: 「仮に「その盆神様は涼しかなくてしかもピラニアでない」ということは誤っているとすればあの盆神様は嘘っぽい」ということは誤りでない fact12: 「あの当事者等は自然らしいということはない一方でそれは参画する」ということは真実だ fact13: 「何かは選出でないがテークバックする」ということは成り立たないとするとそれはテークバックしない fact14: もしあの牛小屋は嘘っぽくないならば「このＢＲは選出だということはないがテークバックする」ということは誤っている fact15: もし仮に「ドラックするし更にピラニアである」物があればあの軍事費は涼しかない fact16: 「このＢＲはテークバックしなくて嘘っぽくない」ということは成り立たない fact17: このＢＲは選出でない fact18: 仮に「その盆神様は涼しい」ということは正しいならば「それは嘘っぽくない」ということは事実と異なる fact19: 「その盆神様は涼しいがしかしピラニアでない」ということは偽だ fact20: 仮にその盆神様がテークバックしないとしたらこのＢＲは嘘っぽい fact21: 「その盆神様は涼しかなくてしかもそれはピラニアでない」ということは誤りだ fact22: 「このＢＲは巻き接ぎしなくて加えてそれは嘘っぽくない」ということは本当でない fact23: このＢＲはピラニアである ; $hypothesis$ = このＢＲはテークバックする ; $proof$ = 
fact8 -> int1: もしその盆神様は嘘っぽいとしたら「選出でない」ということは成り立つ; fact11 & fact21 -> int2: その盆神様は嘘っぽい; int1 & int2 -> int3: その盆神様は選出でない; int3 & fact3 -> hypothesis; __PROVED__
事実1: このＢＲは嘘っぽい
事実2: もし仮に「このＢＲは嘘っぽくないかもしくはテークバックするということはないかまたは両方ともだ」ということは確かであるとするとその真北はテークバックしない
事実3: もしもその盆神様は選出でないとすれば「このＢＲはテークバックする」ということは正しい
事実4: もし仮にその盆神様がテークバックするということはないとするとこのＢＲはピラニアである
事実5: あの軍事費は涼しかないし嘘っぽくないとすると「あの牛小屋は嘘っぽいということはない」ということは真実である
事実6: もし「あの軍事費はオーケストレーションだ」ということは成り立つとすると交雑するけど嘘っぽくない
事実7: 涼しい物は嘘っぽくない
事実8: 仮になんらかの物が嘘っぽいならばそれは選出でない
事実9: この船型碑はテークバックする
事実10: 自然らしくないものはドラックするししかもピラニアである
事実11: 「仮に「その盆神様は涼しかなくてしかもピラニアでない」ということは誤っているとすればあの盆神様は嘘っぽい」ということは誤りでない
事実12: 「あの当事者等は自然らしいということはない一方でそれは参画する」ということは真実だ
事実13: 「何かは選出でないがテークバックする」ということは成り立たないとするとそれはテークバックしない
事実14: もしあの牛小屋は嘘っぽくないならば「このＢＲは選出だということはないがテークバックする」ということは誤っている
事実15: もし仮に「ドラックするし更にピラニアである」物があればあの軍事費は涼しかない
事実16: 「このＢＲはテークバックしなくて嘘っぽくない」ということは成り立たない
事実17: このＢＲは選出でない
事実18: 仮に「その盆神様は涼しい」ということは正しいならば「それは嘘っぽくない」ということは事実と異なる
事実19: 「その盆神様は涼しいがしかしピラニアでない」ということは偽だ
事実20: 仮にその盆神様がテークバックしないとしたらこのＢＲは嘘っぽい
事実21: 「その盆神様は涼しかなくてしかもそれはピラニアでない」ということは誤りだ
事実22: 「このＢＲは巻き接ぎしなくて加えてそれは嘘っぽくない」ということは本当でない
事実23: このＢＲはピラニアである

仮説: このＢＲはテークバックする
1. 事実8から、推論1: "もしその盆神様は嘘っぽいとしたら「選出でない」ということは成り立つ"が導かれる
2. 事実11と事実21から、推論2: "その盆神様は嘘っぽい"が導かれる
3. 推論1と推論2から、推論3: "その盆神様は選出でない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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