「「「投錨しなくて惜しくない」ということは偽な」ものはある」ということは嘘である
fact1: 「投錨しないしさらに惜しくない」物はある fact2: この役員等は略するがそれは身振り手振りでない fact3: あるものは落とせるし苦心惨憺するとすると限らない fact4: あのフライドポテトは喋り立てない fact5: もしあのフライドポテトが投錨する一方でそれが取り引き社会でないとすればそれは容喙する fact6: 「この役員等は上げ難い」ということは正しい fact7: 「「待ち兼ねないし中枢部でない」ということは確かであるということはない」ものはある fact8: 「「喋り立てないしかつ学生寮でない」ということは確かであるということはない」ものはある fact9: この役員等は上げ難いがしかし喋り立てない fact10: 仮になにかは容喙するしそれに学生寮であるとすれば取り引き社会でない fact11: もしなんらかのものが投錨するしそれに容喙するとしたら喋り立てない fact12: この役員等は風景構成法であるけど相応しかない fact13: もしもこの役員等は取り引き社会でないとすれば「あのフライドポテトは投錨しない一方で惜しい」ということは偽である fact14: 仮にあるものが喋り立てるし更に取り引き社会だとすると容喙しない fact15: 「この役員等は学生寮である」ということは成り立つ fact16: その全ては上げ難いということはない fact17: この取材記者は立て易くてまたそれは容喙する fact18: あのフライドポテトは上げ難くない fact19: 「あのフライドポテトは投錨しないけれど惜しい」ということは確かでない fact20: 「「投錨するしさらに惜しくない」ということは偽な」物はある fact21: 「「投錨しないけれど惜しい」ということは間違っている」ものはある fact22: もしこの役員等は取り引き社会でないとすれば「あのフライドポテトは投錨するがそれは惜しくない」ということは間違っている fact23: もしもこの役員等は上げ難いがしかし喋り立てないとすれば容喙する fact24: もしこの役員等は取り引き社会でないとすれば「「あのフライドポテトは投錨しないし惜しくない」ということは真実である」ということは間違いである
fact23 & fact9 -> int1: この役員等は容喙する; int1 & fact15 -> int2: 「この役員等は容喙するし加えて学生寮だ」ということは成り立つ; fact10 -> int3: この役員等は容喙するし学生寮であるとしたらそれは取り引き社会であるということはない; int2 & int3 -> int4: この役員等は取り引き社会でない; int4 & fact24 -> int5: 「あのフライドポテトは投錨しないし惜しくない」ということは誤りだ; int5 -> 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: もしもこの役員等は上げ難いがしかし喋り立てないとすれば容喙する fact24: もしこの役員等は取り引き社会でないとすれば「「あのフライドポテトは投錨しないし惜しくない」ということは真実である」ということは間違いである ; $hypothesis$ = 「「「投錨しなくて惜しくない」ということは偽な」ものはある」ということは嘘である ; $proof$ = 
fact23 & fact9 -> int1: この役員等は容喙する; int1 & fact15 -> int2: 「この役員等は容喙するし加えて学生寮だ」ということは成り立つ; fact10 -> int3: この役員等は容喙するし学生寮であるとしたらそれは取り引き社会であるということはない; int2 & int3 -> int4: この役員等は取り引き社会でない; int4 & fact24 -> int5: 「あのフライドポテトは投錨しないし惜しくない」ということは誤りだ; int5 -> hypothesis; __DISPROVED__
事実1: 「投錨しないしさらに惜しくない」物はある
事実2: この役員等は略するがそれは身振り手振りでない
事実3: あるものは落とせるし苦心惨憺するとすると限らない
事実4: あのフライドポテトは喋り立てない
事実5: もしあのフライドポテトが投錨する一方でそれが取り引き社会でないとすればそれは容喙する
事実6: 「この役員等は上げ難い」ということは正しい
事実7: 「「待ち兼ねないし中枢部でない」ということは確かであるということはない」ものはある
事実8: 「「喋り立てないしかつ学生寮でない」ということは確かであるということはない」ものはある
事実9: この役員等は上げ難いがしかし喋り立てない
事実10: 仮になにかは容喙するしそれに学生寮であるとすれば取り引き社会でない
事実11: もしなんらかのものが投錨するしそれに容喙するとしたら喋り立てない
事実12: この役員等は風景構成法であるけど相応しかない
事実13: もしもこの役員等は取り引き社会でないとすれば「あのフライドポテトは投錨しない一方で惜しい」ということは偽である
事実14: 仮にあるものが喋り立てるし更に取り引き社会だとすると容喙しない
事実15: 「この役員等は学生寮である」ということは成り立つ
事実16: その全ては上げ難いということはない
事実17: この取材記者は立て易くてまたそれは容喙する
事実18: あのフライドポテトは上げ難くない
事実19: 「あのフライドポテトは投錨しないけれど惜しい」ということは確かでない
事実20: 「「投錨するしさらに惜しくない」ということは偽な」物はある
事実21: 「「投錨しないけれど惜しい」ということは間違っている」ものはある
事実22: もしこの役員等は取り引き社会でないとすれば「あのフライドポテトは投錨するがそれは惜しくない」ということは間違っている
事実23: もしもこの役員等は上げ難いがしかし喋り立てないとすれば容喙する
事実24: もしこの役員等は取り引き社会でないとすれば「「あのフライドポテトは投錨しないし惜しくない」ということは真実である」ということは間違いである

仮説: 「「「投錨しなくて惜しくない」ということは偽な」ものはある」ということは嘘である
1. 事実23と事実9から、推論1: "この役員等は容喙する"が導かれる
2. 推論1と事実15から、推論2: "「この役員等は容喙するし加えて学生寮だ」ということは成り立つ"が導かれる
3. 事実10から、推論3: "この役員等は容喙するし学生寮であるとしたらそれは取り引き社会であるということはない"が導かれる
4. 推論2と推論3から、推論4: "この役員等は取り引き社会でない"が導かれる
5. 推論4と事実24から、推論5: "「あのフライドポテトは投錨しないし惜しくない」ということは誤りだ"が導かれる
6. 推論5から、仮説が否定される

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