そのぽにょぽのLv.21は疚しいし加えて目まぐるしい
fact1: もし仮にそのぴにょぴゆLv.35は疚しくないならば「そのぽにょぽのLv.21は疚しくて加えてそれは目まぐるしい」ということは誤っている fact2: 「このぷにょぷなLv.55は晴々しい」ということは事実だ fact3: このぷにょぷなLv.55は行き着ける fact4: もしもこのぷにょぷなLv.55が晴々しいしその上行き着けるとすればそのぴにょぴゆLv.35は疚しくない
fact2 & fact3 -> int1: このぷにょぷなLv.55は晴々しいし行き着ける; int1 & fact4 -> int2: そのぴにょぴゆLv.35は疚しくない; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にそのぴにょぴゆLv.35は疚しくないならば「そのぽにょぽのLv.21は疚しくて加えてそれは目まぐるしい」ということは誤っている fact2: 「このぷにょぷなLv.55は晴々しい」ということは事実だ fact3: このぷにょぷなLv.55は行き着ける fact4: もしもこのぷにょぷなLv.55が晴々しいしその上行き着けるとすればそのぴにょぴゆLv.35は疚しくない ; $hypothesis$ = そのぽにょぽのLv.21は疚しいし加えて目まぐるしい ; $proof$ = 
fact2 & fact3 -> int1: このぷにょぷなLv.55は晴々しいし行き着ける; int1 & fact4 -> int2: そのぴにょぴゆLv.35は疚しくない; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__