「「「待てるししかも読み難くない」ということは誤っている」物はある」ということは間違いだ
fact1: もし仮に何らかの物は企業向けだとすると「それは読み書き出来るが待てない」ということは成り立たない fact2: 仮にある物が埋蔵するとすればそれは企業向けである fact3: 騙され易くないものは細いがしかし毛氈でない fact4: とある物は移籍するとしたら「それは埋蔵する」ということは成り立つ fact5: 「「とある物は騙され易いけれどそれは君らしくない」ということは間違っていない」ということは成り立つということはないとするとそれは騙され易くない fact6: 「「待てるしそれに読み難い」ということは偽な」ものはある fact7: 「あの眼瞼下垂は騙され易いけどそれは君らしくない」ということは偽である fact8: 「待てるし加えて読み難い」ということは正しいという物はない fact9: もしあの眼瞼下垂が細いならば移籍する fact10: 「あの眼瞼下垂は待てるし読み難い」ということは偽である fact11: 待てるしまた読み難くないという物はない
fact11 -> int1: 「あの眼瞼下垂は待てるけどそれは読み難くない」ということは成り立つということはない; int1 -> hypothesis;
fact11 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「あの眼瞼下垂は読み書き出来るけれど待てない」ということは間違いである
fact18 -> int2: 仮にあの眼瞼下垂は企業向けであるとすれば「それは読み書き出来る一方で待てるということはない」ということは成り立つということはない; fact14 -> int3: 「もしあの眼瞼下垂が埋蔵するとするとあの眼瞼下垂は企業向けである」ということは確かである; fact13 -> int4: もしもあの眼瞼下垂が移籍するとすれば埋蔵する; fact17 -> int5: もしあの眼瞼下垂が騙され易くないならば細い一方で毛氈でない; fact12 -> int6: 「あの眼瞼下垂は騙され易いけどそれは君らしいということはない」ということは真実だということはないならばそれは騙され易くない; int6 & fact16 -> int7: あの眼瞼下垂は騙され易くない; int5 & int7 -> int8: あの眼瞼下垂は細いけど毛氈でない; int8 -> int9: あの眼瞼下垂は細い; fact15 & int9 -> int10: あの眼瞼下垂は移籍する; int4 & int10 -> int11: あの眼瞼下垂は埋蔵する; int3 & int11 -> int12: あの眼瞼下垂は企業向けである; int2 & int12 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物は企業向けだとすると「それは読み書き出来るが待てない」ということは成り立たない fact2: 仮にある物が埋蔵するとすればそれは企業向けである fact3: 騙され易くないものは細いがしかし毛氈でない fact4: とある物は移籍するとしたら「それは埋蔵する」ということは成り立つ fact5: 「「とある物は騙され易いけれどそれは君らしくない」ということは間違っていない」ということは成り立つということはないとするとそれは騙され易くない fact6: 「「待てるしそれに読み難い」ということは偽な」ものはある fact7: 「あの眼瞼下垂は騙され易いけどそれは君らしくない」ということは偽である fact8: 「待てるし加えて読み難い」ということは正しいという物はない fact9: もしあの眼瞼下垂が細いならば移籍する fact10: 「あの眼瞼下垂は待てるし読み難い」ということは偽である fact11: 待てるしまた読み難くないという物はない ; $hypothesis$ = 「「「待てるししかも読み難くない」ということは誤っている」物はある」ということは間違いだ ; $proof$ = 
fact11 -> int1: 「あの眼瞼下垂は待てるけどそれは読み難くない」ということは成り立つということはない; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は企業向けだとすると「それは読み書き出来るが待てない」ということは成り立たない
事実2: 仮にある物が埋蔵するとすればそれは企業向けである
事実3: 騙され易くないものは細いがしかし毛氈でない
事実4: とある物は移籍するとしたら「それは埋蔵する」ということは成り立つ
事実5: 「「とある物は騙され易いけれどそれは君らしくない」ということは間違っていない」ということは成り立つということはないとするとそれは騙され易くない
事実6: 「「待てるしそれに読み難い」ということは偽な」ものはある
事実7: 「あの眼瞼下垂は騙され易いけどそれは君らしくない」ということは偽である
事実8: 「待てるし加えて読み難い」ということは正しいという物はない
事実9: もしあの眼瞼下垂が細いならば移籍する
事実10: 「あの眼瞼下垂は待てるし読み難い」ということは偽である
事実11: 待てるしまた読み難くないという物はない

仮説: 「「「待てるししかも読み難くない」ということは誤っている」物はある」ということは間違いだ
1. 事実11から、推論1: "「あの眼瞼下垂は待てるけどそれは読み難くない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が否定される

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