「あの論理的同値はみっとも可愛いか遊べる」ということは確かでない
fact1: あの論理的同値は意味構成である fact2: あの未露光部は意味構成である fact3: あの論理的同値は遊べるしさらに意味構成だ fact4: あの論理的同値は神話化するか北棟である fact5: あの論理的同値は研修事業でおまけに冗談めく fact6: もしも「ある物は降伏する」ということは本当だとすればそれは意味構成でない fact7: 仮になんらかの物は意味構成でないとしたら「みっとも可愛いかそれは遊べるかもしくは両方ともだ」ということは成り立たない fact8: あの論理的同値は競り上げるしそれはＹＥＳである fact9: べた付き易くない物は降伏するし加えて編綴する
fact3 -> int1: あの論理的同値は遊べる; int1 -> hypothesis;
「あの論理的同値はみっとも可愛いかそれは遊べる」ということは成り立つということはない
fact12 -> int2: もしあの論理的同値は意味構成でないなら「みっとも可愛いかあるいは遊べる」ということは事実と異なる; fact11 -> int3: もしもあの論理的同値が降伏するとするとそれは意味構成でない; fact10 -> int4: 「あの論理的同値はべた付き易いということはない」ということは確かだとするとそれは降伏するし加えて編綴する;
$facts$ = fact1: あの論理的同値は意味構成である fact2: あの未露光部は意味構成である fact3: あの論理的同値は遊べるしさらに意味構成だ fact4: あの論理的同値は神話化するか北棟である fact5: あの論理的同値は研修事業でおまけに冗談めく fact6: もしも「ある物は降伏する」ということは本当だとすればそれは意味構成でない fact7: 仮になんらかの物は意味構成でないとしたら「みっとも可愛いかそれは遊べるかもしくは両方ともだ」ということは成り立たない fact8: あの論理的同値は競り上げるしそれはＹＥＳである fact9: べた付き易くない物は降伏するし加えて編綴する ; $hypothesis$ = 「あの論理的同値はみっとも可愛いか遊べる」ということは確かでない ; $proof$ = 
fact3 -> int1: あの論理的同値は遊べる; int1 -> hypothesis; __DISPROVED__
事実1: あの論理的同値は意味構成である
事実2: あの未露光部は意味構成である
事実3: あの論理的同値は遊べるしさらに意味構成だ
事実4: あの論理的同値は神話化するか北棟である
事実5: あの論理的同値は研修事業でおまけに冗談めく
事実6: もしも「ある物は降伏する」ということは本当だとすればそれは意味構成でない
事実7: 仮になんらかの物は意味構成でないとしたら「みっとも可愛いかそれは遊べるかもしくは両方ともだ」ということは成り立たない
事実8: あの論理的同値は競り上げるしそれはＹＥＳである
事実9: べた付き易くない物は降伏するし加えて編綴する

仮説: 「あの論理的同値はみっとも可愛いか遊べる」ということは確かでない
1. 事実3から、推論1: "あの論理的同値は遊べる"が導かれる
2. 推論1から、仮説が否定される

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