このもよもえLv.16は漏れ無くない
fact1: 仮にこのぽわぽゆLv.42が最適化するならあのぴにぴちゅLv.79はすばしこい fact2: もしもこのぽよぽにょLv.66は縫い繋ぐとしたら「このもよもえLv.16は薄い」ということは真実である fact3: このぽわぽゆLv.42は最適化する fact4: もし仮にこのもよもえLv.16が薄いならこのもよもえLv.16は漏れ無い fact5: このもくもわLv.47は縫い繋ぐ fact6: もしあのぴにぴちゅLv.79が御考え頂かないとしたらあのぴにぴちゅLv.79はすばしこくない fact7: 仮にあのぴにぴちゅLv.79が最適化すればこのぽわぽゆLv.42は薄い fact8: もしとあるモンスターはすばしこくないかもしくは御考え頂かないかもしくは両方ともなら「すばしこくない」ということは確かである fact9: あのぴにぴちゅLv.79がすばしこいならこのもくもわLv.47は御考え頂く fact10: もし仮にこのもくもわLv.47が御考え頂けばこのぽよぽにょLv.66は縫い繋ぐ fact11: もしもなにがしかのモンスターは愛しないとすれば「縫い繋ぐししかも薄い」ということは偽である
fact1 & fact3 -> int1: あのぴにぴちゅLv.79はすばしこい; int1 & fact9 -> int2: このもくもわLv.47は御考え頂く; int2 & fact10 -> int3: このぽよぽにょLv.66は縫い繋ぐ; int3 & fact2 -> int4: このもよもえLv.16は薄い; int4 & fact4 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 & fact9 -> int2: {C}{c}; int2 & fact10 -> int3: {D}{d}; int3 & fact2 -> int4: {E}{e}; int4 & fact4 -> hypothesis;
このもよもえLv.16は漏れ無くない
fact12 -> int5: 仮にこのもくもわLv.47は愛しないとすると「それは縫い繋ぐし薄い」ということは間違っている;
$facts$ = fact1: 仮にこのぽわぽゆLv.42が最適化するならあのぴにぴちゅLv.79はすばしこい fact2: もしもこのぽよぽにょLv.66は縫い繋ぐとしたら「このもよもえLv.16は薄い」ということは真実である fact3: このぽわぽゆLv.42は最適化する fact4: もし仮にこのもよもえLv.16が薄いならこのもよもえLv.16は漏れ無い fact5: このもくもわLv.47は縫い繋ぐ fact6: もしあのぴにぴちゅLv.79が御考え頂かないとしたらあのぴにぴちゅLv.79はすばしこくない fact7: 仮にあのぴにぴちゅLv.79が最適化すればこのぽわぽゆLv.42は薄い fact8: もしとあるモンスターはすばしこくないかもしくは御考え頂かないかもしくは両方ともなら「すばしこくない」ということは確かである fact9: あのぴにぴちゅLv.79がすばしこいならこのもくもわLv.47は御考え頂く fact10: もし仮にこのもくもわLv.47が御考え頂けばこのぽよぽにょLv.66は縫い繋ぐ fact11: もしもなにがしかのモンスターは愛しないとすれば「縫い繋ぐししかも薄い」ということは偽である ; $hypothesis$ = このもよもえLv.16は漏れ無くない ; $proof$ = 
fact1 & fact3 -> int1: あのぴにぴちゅLv.79はすばしこい; int1 & fact9 -> int2: このもくもわLv.47は御考え頂く; int2 & fact10 -> int3: このぽよぽにょLv.66は縫い繋ぐ; int3 & fact2 -> int4: このもよもえLv.16は薄い; int4 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{b}; int1 & fact9 -> int2: {C}{c}; int2 & fact10 -> int3: {D}{d}; int3 & fact2 -> int4: {E}{e}; int4 & fact4 -> hypothesis; __DISPROVED__