あのぴちょぴちゅLv.58は激しい
fact1: もしもそのもちゃもいLv.70が一転しないならそのもちゃもいLv.70は辛気臭いし薄明るい fact2: 仮にあのぴちょぴちゅLv.58が一転すればあのぴのぴちゅLv.22は薄明るい fact3: あのぴちょぴちゅLv.58は一転する fact4: あのぴちょぴちゅLv.58が一転するしその上それが蓄積され易いならあのぴちょぴちゅLv.58は薄明るくない fact5: もし仮にあのぴのぴちゅLv.22が蓄積され易いならあのぴちょぴちゅLv.58は薄明るい fact6: あのぴのぴちゅLv.22は蓄積され易い fact7: 仮にあのぴちょぴちゅLv.58が薄明るくて一転するならあのぴちょぴちゅLv.58は激しいということはない
fact5 & fact6 -> int1: あのぴちょぴちゅLv.58は薄明るい; int1 & fact3 -> int2: あのぴちょぴちゅLv.58は薄明るいしさらに一転する; int2 & fact7 -> hypothesis;
fact5 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> hypothesis;
あのぴちょぴちゅLv.58は激しい
$facts$ = fact1: もしもそのもちゃもいLv.70が一転しないならそのもちゃもいLv.70は辛気臭いし薄明るい fact2: 仮にあのぴちょぴちゅLv.58が一転すればあのぴのぴちゅLv.22は薄明るい fact3: あのぴちょぴちゅLv.58は一転する fact4: あのぴちょぴちゅLv.58が一転するしその上それが蓄積され易いならあのぴちょぴちゅLv.58は薄明るくない fact5: もし仮にあのぴのぴちゅLv.22が蓄積され易いならあのぴちょぴちゅLv.58は薄明るい fact6: あのぴのぴちゅLv.22は蓄積され易い fact7: 仮にあのぴちょぴちゅLv.58が薄明るくて一転するならあのぴちょぴちゅLv.58は激しいということはない ; $hypothesis$ = あのぴちょぴちゅLv.58は激しい ; $proof$ = 
fact5 & fact6 -> int1: あのぴちょぴちゅLv.58は薄明るい; int1 & fact3 -> int2: あのぴちょぴちゅLv.58は薄明るいしさらに一転する; int2 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> hypothesis; __DISPROVED__