Charlie is cold. Erin is white. Gary is not rough. Harry is blue. If Harry is blue and Harry is rough then Harry is white. White people are quiet. If Harry is blue then Harry is big. Cold people are not blue. All cold people are not round. All blue people are white. All big, blue people are rough. If Harry is quiet and Harry is not white then Harry is not round.
Charlie is round.
@0: Charlie is cold.[(triple1)] Erin is white.[(triple2)] Gary is not rough.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is not blue.[(((triple1) -> rule4))] Charlie is not round.[(((triple1) -> rule5))] Erin is quiet.[(((triple2) -> rule2))] Harry is big.[(((triple4) -> rule3))] Harry is white.[(((triple4) -> rule6) OR ((triple4 ((((triple4) -> rule3) triple4) -> rule7)) -> rule1))] @2: Harry is quiet.[(((((triple4) -> rule6)) -> rule2) OR ((((triple4 ((((triple4) -> rule3) triple4) -> rule7)) -> rule1)) -> rule2))] Harry is rough.[(((((triple4) -> rule3) triple4) -> rule7))]