Charlie is round. Erin is round. Gary is young. Harry is kind. If someone is young then they are big. If someone is young and red then they are kind. All quiet, young people are kind. If someone is red then they are young. If someone is red and young then they are quiet. If Erin is red and Erin is young then Erin is quiet. Red, big people are cold. All kind people are red.
Gary is not big.
@0: Charlie is round.[(triple1)] Erin is round.[(triple2)] Gary is young.[(triple3)] Harry is kind.[(triple4)] @1: Gary is big.[(((triple3) -> rule1))] Harry is red.[(((triple4) -> rule8))] @2: Harry is young.[(((((triple4) -> rule8)) -> rule4))] @3: Harry is big.[(((((((triple4) -> rule8)) -> rule4)) -> rule1))] Harry is quiet.[(((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule4)) -> rule5))] @4: Harry is cold.[(((((triple4) -> rule8) ((((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule7))]