そのぽえぽにゅLv.85は心苦しくない
fact1: もしもそのぽえぽにゅLv.85が胡散臭いし更に青黒いならばそのぽえぽにゅLv.85は心苦しくない fact2: もしもこのもちゃもねLv.21は青黒いとすると「そのみにょみわLv.88は青黒い」ということは確かだ fact3: このもちゃもねLv.21は書き難い fact4: 「このもちゃもねLv.21は青黒くない」ということは本当だとすればそのぽえぽにゅLv.85は書き難いしそれは胡散臭い fact5: もしこのもちゃもねLv.21が書き難いとすればそのぽえぽにゅLv.85は胡散臭い fact6: そのぽえぽにゅLv.85は青黒い
fact5 & fact3 -> int1: 「そのぽえぽにゅLv.85は胡散臭い」ということは成り立つ; int1 & fact6 -> int2: そのぽえぽにゅLv.85は胡散臭いし青黒い; int2 & fact1 -> hypothesis;
fact5 & fact3 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis;
そのぽえぽにゅLv.85は心苦しい
$facts$ = fact1: もしもそのぽえぽにゅLv.85が胡散臭いし更に青黒いならばそのぽえぽにゅLv.85は心苦しくない fact2: もしもこのもちゃもねLv.21は青黒いとすると「そのみにょみわLv.88は青黒い」ということは確かだ fact3: このもちゃもねLv.21は書き難い fact4: 「このもちゃもねLv.21は青黒くない」ということは本当だとすればそのぽえぽにゅLv.85は書き難いしそれは胡散臭い fact5: もしこのもちゃもねLv.21が書き難いとすればそのぽえぽにゅLv.85は胡散臭い fact6: そのぽえぽにゅLv.85は青黒い ; $hypothesis$ = そのぽえぽにゅLv.85は心苦しくない ; $proof$ = 
fact5 & fact3 -> int1: 「そのぽえぽにゅLv.85は胡散臭い」ということは成り立つ; int1 & fact6 -> int2: そのぽえぽにゅLv.85は胡散臭いし青黒い; int2 & fact1 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: {B}{b}; int1 & fact6 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis; __PROVED__