Anne is round. Anne is young. Erin is quiet. Gary is green. Gary is red. Gary is round. Harry is green. All blue, quiet people are round. If someone is blue then they are cold. Quiet people are cold. If someone is cold then they are young. If someone is red then they are blue. Blue people are round. Blue, young people are green. If someone is young and quiet then they are red.
Gary is cold.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Erin is quiet.[(triple3)] Gary is green.[(triple4 OR ((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule2)) -> rule4)) -> rule7))] Gary is red.[(triple5)] Gary is round.[(triple6 OR ((((triple5) -> rule5)) -> rule6))] Harry is green.[(triple7)] @1: Erin is cold.[(((triple3) -> rule3))] Gary is blue.[(((triple5) -> rule5))] @2: Erin is young.[(((((triple3) -> rule3)) -> rule4))] Gary is cold.[(((((triple5) -> rule5)) -> rule2))] @3: Erin is red.[(((((((triple3) -> rule3)) -> rule4) triple3) -> rule8))] Gary is young.[(((((((triple5) -> rule5)) -> rule2)) -> rule4))] @4: Erin is blue.[(((((((((triple3) -> rule3)) -> rule4) triple3) -> rule8)) -> rule5))] @5: Erin is green.[(((((((((((triple3) -> rule3)) -> rule4) triple3) -> rule8)) -> rule5) ((((triple3) -> rule3)) -> rule4)) -> rule7))] Erin is round.[(((((((((((triple3) -> rule3)) -> rule4) triple3) -> rule8)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule3)) -> rule4) triple3) -> rule8)) -> rule5) triple3) -> rule1))]