そのまわまちゅLv.13は理想化しない
fact1: もしもとあるモンスターが色っぽくないとすれば居辛い fact2: もし「「理想化するししかも居辛くない」ということは成り立つということはない」モンスターがいるならそのぷにゅぷちゃLv.38は居辛い fact3: そのまわまちゅLv.13は色っぽくない fact4: もしとあるモンスターは色っぽいとすると「それは理想化する一方で居辛くない」ということは事実と異なる fact5: 仮にそのまわまちゅLv.13が居辛いならばそのまわまちゅLv.13は理想化する fact6: もしあるモンスターがみっとも可愛くないならば寝苦しくて色っぽい
fact1 -> int1: もしそのまわまちゅLv.13が色っぽくないなら居辛い; int1 & fact3 -> int2: そのまわまちゅLv.13は居辛い; int2 & fact5 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact3 -> int2: {C}{aa}; int2 & fact5 -> hypothesis;
そのぷにゅぷちゃLv.38は居辛い
fact9 -> int3: もし仮にこのぷにょぷなLv.10がみっとも可愛くないとするとこのぷにょぷなLv.10は寝苦しくて色っぽい; fact7 -> int4: このぷにょぷなLv.10は色っぽいならば「理想化するし居辛くない」ということは事実と異なる;
$facts$ = fact1: もしもとあるモンスターが色っぽくないとすれば居辛い fact2: もし「「理想化するししかも居辛くない」ということは成り立つということはない」モンスターがいるならそのぷにゅぷちゃLv.38は居辛い fact3: そのまわまちゅLv.13は色っぽくない fact4: もしとあるモンスターは色っぽいとすると「それは理想化する一方で居辛くない」ということは事実と異なる fact5: 仮にそのまわまちゅLv.13が居辛いならばそのまわまちゅLv.13は理想化する fact6: もしあるモンスターがみっとも可愛くないならば寝苦しくて色っぽい ; $hypothesis$ = そのまわまちゅLv.13は理想化しない ; $proof$ = 
fact1 -> int1: もしそのまわまちゅLv.13が色っぽくないなら居辛い; int1 & fact3 -> int2: そのまわまちゅLv.13は居辛い; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact3 -> int2: {C}{aa}; int2 & fact5 -> hypothesis; __DISPROVED__