「あのＴＯＢは浅しないけれど提案出来る」ということは嘘だ
fact1: あのＴＯＢは厭わしくないし多重比較だということはない fact2: もし仮にあのＴＯＢは提案出来ないけどハル・ノートであるなら内部志向でない fact3: あのＴＯＢは厭わしくないけど多重比較であるとしたらそれは説明し為さらない fact4: あのツインフォグランプは厭わしくないなら「「そのセンセーションは多重比較だということはないが説明し為さる」ということは成り立たない」ということは本当である fact5: もし仮にあのＴＯＢが浮き世であるがしかしそれはデヒでないとしたらそれは開発・販売しない fact6: もしもそのセンセーションが説明し為さらないが浅しとするとそのアップル社は浅しということはない fact7: 仮にこのＡ・Ｂさんは読み難いということはないししかも潔くないとしたら提案出来ない fact8: あのＴＯＢは致さないしさらに手痛くない fact9: 「あのサブルーチン名は多重比較でない」ということは事実である fact10: 「その同日付けは説明し為さるということはない」ということは真実である fact11: もし仮に何かは説明し為さらないとするとそれは浅しということはないがしかし提案出来る fact12: もし仮にそのセンセーションは近在でないならそれは田舎っぽくない fact13: 「その初は多重比較である」ということは本当である fact14: もし仮にそのセンセーションが田舎っぽくないとしたらそれが多重比較だしそれは厭わしい fact15: 厭わしいということはないものは提案出来る fact16: もし仮に「そのセンセーションは説明し為さらない」ということは真実だとすると「あのＴＯＢは浅しということはないがしかし提案出来る」ということは間違っている fact17: 仮に「あるものは多重比較でない一方で説明し為さる」ということは真実でないとしたら説明し為さらない fact18: もしもあのＴＯＢは厭わしくなくて加えて多重比較でないとすれば「説明し為さらない」ということは確かである
fact11 -> int1: もしもあのＴＯＢは説明し為さらないならばそれは浅しないがしかし提案出来る; fact18 & fact1 -> int2: あのＴＯＢは説明し為さるということはない; int1 & int2 -> hypothesis;
「あのＴＯＢは浅しない物でありまた提案出来る」ということは誤っている
fact20 -> int3: もし仮に「そのセンセーションは多重比較でないが説明し為さる」ということは成り立たないとしたらそれは説明し為さらない;
$facts$ = fact1: あのＴＯＢは厭わしくないし多重比較だということはない fact2: もし仮にあのＴＯＢは提案出来ないけどハル・ノートであるなら内部志向でない fact3: あのＴＯＢは厭わしくないけど多重比較であるとしたらそれは説明し為さらない fact4: あのツインフォグランプは厭わしくないなら「「そのセンセーションは多重比較だということはないが説明し為さる」ということは成り立たない」ということは本当である fact5: もし仮にあのＴＯＢが浮き世であるがしかしそれはデヒでないとしたらそれは開発・販売しない fact6: もしもそのセンセーションが説明し為さらないが浅しとするとそのアップル社は浅しということはない fact7: 仮にこのＡ・Ｂさんは読み難いということはないししかも潔くないとしたら提案出来ない fact8: あのＴＯＢは致さないしさらに手痛くない fact9: 「あのサブルーチン名は多重比較でない」ということは事実である fact10: 「その同日付けは説明し為さるということはない」ということは真実である fact11: もし仮に何かは説明し為さらないとするとそれは浅しということはないがしかし提案出来る fact12: もし仮にそのセンセーションは近在でないならそれは田舎っぽくない fact13: 「その初は多重比較である」ということは本当である fact14: もし仮にそのセンセーションが田舎っぽくないとしたらそれが多重比較だしそれは厭わしい fact15: 厭わしいということはないものは提案出来る fact16: もし仮に「そのセンセーションは説明し為さらない」ということは真実だとすると「あのＴＯＢは浅しということはないがしかし提案出来る」ということは間違っている fact17: 仮に「あるものは多重比較でない一方で説明し為さる」ということは真実でないとしたら説明し為さらない fact18: もしもあのＴＯＢは厭わしくなくて加えて多重比較でないとすれば「説明し為さらない」ということは確かである ; $hypothesis$ = 「あのＴＯＢは浅しないけれど提案出来る」ということは嘘だ ; $proof$ = 
fact11 -> int1: もしもあのＴＯＢは説明し為さらないならばそれは浅しないがしかし提案出来る; fact18 & fact1 -> int2: あのＴＯＢは説明し為さるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あのＴＯＢは厭わしくないし多重比較だということはない
事実2: もし仮にあのＴＯＢは提案出来ないけどハル・ノートであるなら内部志向でない
事実3: あのＴＯＢは厭わしくないけど多重比較であるとしたらそれは説明し為さらない
事実4: あのツインフォグランプは厭わしくないなら「「そのセンセーションは多重比較だということはないが説明し為さる」ということは成り立たない」ということは本当である
事実5: もし仮にあのＴＯＢが浮き世であるがしかしそれはデヒでないとしたらそれは開発・販売しない
事実6: もしもそのセンセーションが説明し為さらないが浅しとするとそのアップル社は浅しということはない
事実7: 仮にこのＡ・Ｂさんは読み難いということはないししかも潔くないとしたら提案出来ない
事実8: あのＴＯＢは致さないしさらに手痛くない
事実9: 「あのサブルーチン名は多重比較でない」ということは事実である
事実10: 「その同日付けは説明し為さるということはない」ということは真実である
事実11: もし仮に何かは説明し為さらないとするとそれは浅しということはないがしかし提案出来る
事実12: もし仮にそのセンセーションは近在でないならそれは田舎っぽくない
事実13: 「その初は多重比較である」ということは本当である
事実14: もし仮にそのセンセーションが田舎っぽくないとしたらそれが多重比較だしそれは厭わしい
事実15: 厭わしいということはないものは提案出来る
事実16: もし仮に「そのセンセーションは説明し為さらない」ということは真実だとすると「あのＴＯＢは浅しということはないがしかし提案出来る」ということは間違っている
事実17: 仮に「あるものは多重比較でない一方で説明し為さる」ということは真実でないとしたら説明し為さらない
事実18: もしもあのＴＯＢは厭わしくなくて加えて多重比較でないとすれば「説明し為さらない」ということは確かである

仮説: 「あのＴＯＢは浅しないけれど提案出来る」ということは嘘だ
1. 事実11から、推論1: "もしもあのＴＯＢは説明し為さらないならばそれは浅しないがしかし提案出来る"が導かれる
2. 事実18と事実1から、推論2: "あのＴＯＢは説明し為さるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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