あのもよもいLv.46は煙たくない
fact1: もし仮にそのぽよぽちゅLv.30は世知辛いということはないとしたら「あのもよもいLv.46は世知辛い」ということは成り立つ fact2: 仮にそのぽよぽちゅLv.30が誇りっぽいならば幸いする fact3: そのぽよぽちゅLv.30は世知辛いしそれに誇りっぽい fact4: もし仮に「そのぽよぽちゅLv.30は幸いする」ということは正しいとすればあのもよもいLv.46は煙たい fact5: 誇りっぽいということはないかもしくは煙たくないかまたはどちらもなモンスターは煙たくない fact6: もし仮にあのもよもいLv.46が誇りっぽいとすればそのぽよぽちゅLv.30は煙たい fact7: そのぽよぽちゅLv.30は世知辛い
fact3 -> int1: そのぽよぽちゅLv.30は誇りっぽい; int1 & fact2 -> int2: そのぽよぽちゅLv.30は幸いする; int2 & fact4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
あのもよもいLv.46は煙たくない
fact8 -> int3: もしあのもよもいLv.46が誇りっぽくないかあるいはそれが煙たくないとするとあのもよもいLv.46は煙たくない;
$facts$ = fact1: もし仮にそのぽよぽちゅLv.30は世知辛いということはないとしたら「あのもよもいLv.46は世知辛い」ということは成り立つ fact2: 仮にそのぽよぽちゅLv.30が誇りっぽいならば幸いする fact3: そのぽよぽちゅLv.30は世知辛いしそれに誇りっぽい fact4: もし仮に「そのぽよぽちゅLv.30は幸いする」ということは正しいとすればあのもよもいLv.46は煙たい fact5: 誇りっぽいということはないかもしくは煙たくないかまたはどちらもなモンスターは煙たくない fact6: もし仮にあのもよもいLv.46が誇りっぽいとすればそのぽよぽちゅLv.30は煙たい fact7: そのぽよぽちゅLv.30は世知辛い ; $hypothesis$ = あのもよもいLv.46は煙たくない ; $proof$ = 
fact3 -> int1: そのぽよぽちゅLv.30は誇りっぽい; int1 & fact2 -> int2: そのぽよぽちゅLv.30は幸いする; int2 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__