この法螺は白飯でない
fact1: もしも当該関連当事者は芸術分野でないとすると許し合う fact2: このデイサイトが許し合わなくておまけに芸術分野だということはないとするとあの周囲皮膚は許し合わない fact3: もしも「何かは密輸しないし身柄拘束しない」ということは間違いであるとすれば優等生タイプでない fact4: もしこのデイサイトは当該関連当事者であるし加えて芸術分野であるなら「それは許し合う」ということは本当である fact5: あのコンピュータ内は存在し得る fact6: 「「時代社会であるししかも二倍する」ということは成り立たない」物はある fact7: もし「「時代社会でない一方で二倍する」ということは間違いである」ものがあるならあの周囲皮膚は当該関連当事者でない fact8: もしあの周囲皮膚が当該関連当事者でないならばこのデイサイトは当該関連当事者だ一方でそれは芸術分野でない fact9: もしこのデイサイトが二倍するということはないとしたらあのコンピュータ内は許し合わない fact10: もしも「時代社会である」物があるとするとあの周囲皮膚は当該関連当事者だということはない fact11: もしとあるものが優等生タイプだということはないとしたら許し合わないしその上芸術分野でない fact12: もし仮にあの周囲皮膚が許し合わないとするとあのコンピュータ内は存在し得るしまた当該関連当事者だ fact13: 何かは時代社会でない一方で二倍する fact14: あのヨーロッパ文化は存在し得る fact15: 「あのコンピュータ内は時代社会で加えて二倍する」ということは間違いである fact16: もし仮に当該関連当事者は芸術分野であるとすると「それは許し合う」ということは成り立つ fact17: もしもあの周囲皮膚が当該関連当事者でないならばあのデイサイトは芸術分野でない fact18: 「もしもこのデイサイトが許し合うとすればあの法螺は白飯である」ということは真実だ fact19: もしあのコンピュータ内は存在し得るなら「時代社会でないが二倍する」ということは誤っている fact20: もしも芸術分野は白飯でないならばそれは時代社会だ fact21: もしもあのコンピュータ内は存在し得れば「それは時代社会であるしかつそれは二倍する」ということは間違っている fact22: 「あのコンピュータ内は芸術分野であるということはない一方でし易い」ということは成り立たない
fact19 & fact5 -> int1: 「あのコンピュータ内は時代社会でないがしかし二倍する」ということは間違っている; int1 -> int2: 「「「時代社会でないし二倍する」ということは事実と異ならない」ということは成り立たない」物はある; int2 & fact7 -> int3: 「あの周囲皮膚は当該関連当事者でない」ということは間違っていない; int3 & fact8 -> int4: このデイサイトは当該関連当事者だけれどそれは芸術分野でない; fact1 -> int5: このデイサイトが当該関連当事者だ一方で芸術分野でないならば許し合う; int4 & int5 -> int6: このデイサイトは許し合う; int6 & fact18 -> hypothesis;
この法螺は白飯でない
fact26 -> int7: もし仮にこのデイサイトが優等生タイプでないとしたらそれは許し合わなくてまた芸術分野だということはない; fact25 -> int8: もし「このデイサイトは密輸しなくて身柄拘束するということはない」ということは成り立たないなら優等生タイプでない;
$facts$ = fact1: もしも当該関連当事者は芸術分野でないとすると許し合う fact2: このデイサイトが許し合わなくておまけに芸術分野だということはないとするとあの周囲皮膚は許し合わない fact3: もしも「何かは密輸しないし身柄拘束しない」ということは間違いであるとすれば優等生タイプでない fact4: もしこのデイサイトは当該関連当事者であるし加えて芸術分野であるなら「それは許し合う」ということは本当である fact5: あのコンピュータ内は存在し得る fact6: 「「時代社会であるししかも二倍する」ということは成り立たない」物はある fact7: もし「「時代社会でない一方で二倍する」ということは間違いである」ものがあるならあの周囲皮膚は当該関連当事者でない fact8: もしあの周囲皮膚が当該関連当事者でないならばこのデイサイトは当該関連当事者だ一方でそれは芸術分野でない fact9: もしこのデイサイトが二倍するということはないとしたらあのコンピュータ内は許し合わない fact10: もしも「時代社会である」物があるとするとあの周囲皮膚は当該関連当事者だということはない fact11: もしとあるものが優等生タイプだということはないとしたら許し合わないしその上芸術分野でない fact12: もし仮にあの周囲皮膚が許し合わないとするとあのコンピュータ内は存在し得るしまた当該関連当事者だ fact13: 何かは時代社会でない一方で二倍する fact14: あのヨーロッパ文化は存在し得る fact15: 「あのコンピュータ内は時代社会で加えて二倍する」ということは間違いである fact16: もし仮に当該関連当事者は芸術分野であるとすると「それは許し合う」ということは成り立つ fact17: もしもあの周囲皮膚が当該関連当事者でないならばあのデイサイトは芸術分野でない fact18: 「もしもこのデイサイトが許し合うとすればあの法螺は白飯である」ということは真実だ fact19: もしあのコンピュータ内は存在し得るなら「時代社会でないが二倍する」ということは誤っている fact20: もしも芸術分野は白飯でないならばそれは時代社会だ fact21: もしもあのコンピュータ内は存在し得れば「それは時代社会であるしかつそれは二倍する」ということは間違っている fact22: 「あのコンピュータ内は芸術分野であるということはない一方でし易い」ということは成り立たない ; $hypothesis$ = この法螺は白飯でない ; $proof$ = 
fact19 & fact5 -> int1: 「あのコンピュータ内は時代社会でないがしかし二倍する」ということは間違っている; int1 -> int2: 「「「時代社会でないし二倍する」ということは事実と異ならない」ということは成り立たない」物はある; int2 & fact7 -> int3: 「あの周囲皮膚は当該関連当事者でない」ということは間違っていない; int3 & fact8 -> int4: このデイサイトは当該関連当事者だけれどそれは芸術分野でない; fact1 -> int5: このデイサイトが当該関連当事者だ一方で芸術分野でないならば許し合う; int4 & int5 -> int6: このデイサイトは許し合う; int6 & fact18 -> hypothesis; __DISPROVED__
事実1: もしも当該関連当事者は芸術分野でないとすると許し合う
事実2: このデイサイトが許し合わなくておまけに芸術分野だということはないとするとあの周囲皮膚は許し合わない
事実3: もしも「何かは密輸しないし身柄拘束しない」ということは間違いであるとすれば優等生タイプでない
事実4: もしこのデイサイトは当該関連当事者であるし加えて芸術分野であるなら「それは許し合う」ということは本当である
事実5: あのコンピュータ内は存在し得る
事実6: 「「時代社会であるししかも二倍する」ということは成り立たない」物はある
事実7: もし「「時代社会でない一方で二倍する」ということは間違いである」ものがあるならあの周囲皮膚は当該関連当事者でない
事実8: もしあの周囲皮膚が当該関連当事者でないならばこのデイサイトは当該関連当事者だ一方でそれは芸術分野でない
事実9: もしこのデイサイトが二倍するということはないとしたらあのコンピュータ内は許し合わない
事実10: もしも「時代社会である」物があるとするとあの周囲皮膚は当該関連当事者だということはない
事実11: もしとあるものが優等生タイプだということはないとしたら許し合わないしその上芸術分野でない
事実12: もし仮にあの周囲皮膚が許し合わないとするとあのコンピュータ内は存在し得るしまた当該関連当事者だ
事実13: 何かは時代社会でない一方で二倍する
事実14: あのヨーロッパ文化は存在し得る
事実15: 「あのコンピュータ内は時代社会で加えて二倍する」ということは間違いである
事実16: もし仮に当該関連当事者は芸術分野であるとすると「それは許し合う」ということは成り立つ
事実17: もしもあの周囲皮膚が当該関連当事者でないならばあのデイサイトは芸術分野でない
事実18: 「もしもこのデイサイトが許し合うとすればあの法螺は白飯である」ということは真実だ
事実19: もしあのコンピュータ内は存在し得るなら「時代社会でないが二倍する」ということは誤っている
事実20: もしも芸術分野は白飯でないならばそれは時代社会だ
事実21: もしもあのコンピュータ内は存在し得れば「それは時代社会であるしかつそれは二倍する」ということは間違っている
事実22: 「あのコンピュータ内は芸術分野であるということはない一方でし易い」ということは成り立たない

仮説: この法螺は白飯でない
1. 事実19と事実5から、推論1: "「あのコンピュータ内は時代社会でないがしかし二倍する」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「「時代社会でないし二倍する」ということは事実と異ならない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実7から、推論3: "「あの周囲皮膚は当該関連当事者でない」ということは間違っていない"が導かれる
4. 推論3と事実8から、推論4: "このデイサイトは当該関連当事者だけれどそれは芸術分野でない"が導かれる
5. 事実1から、推論5: "このデイサイトが当該関連当事者だ一方で芸術分野でないならば許し合う"が導かれる
6. 推論4と推論5から、推論6: "このデイサイトは許し合う"が導かれる
7. 推論6と事実18から、仮説が否定される

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