Anne is red. Anne is rough. Anne is young. Bob is green. Bob is rough. Bob is young. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is young. Gary is cold. Gary is red. Gary is rough. Gary is young. If someone is green and red then they are quiet. If someone is quiet then they are smart. Green, rough people are young. If someone is red and smart then they are green. Rough people are cold. If someone is cold then they are red.
Bob is quiet.
@0: Anne is red.[(triple1 OR ((((triple2) -> rule5)) -> rule6))] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is green.[(triple4)] Bob is rough.[(triple5)] Bob is young.[(triple6 OR ((triple4 triple5) -> rule3))] Erin is green.[(triple7 OR ((triple8 triple10) -> rule4) OR ((((((triple9) -> rule5)) -> rule6) triple10) -> rule4))] Erin is red.[(triple8 OR ((((triple9) -> rule5)) -> rule6))] Erin is rough.[(triple9)] Erin is smart.[(triple10 OR ((((triple7 triple8) -> rule1)) -> rule2) OR ((((triple7 ((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule2))] Erin is young.[(triple11 OR ((triple7 triple9) -> rule3) OR ((((triple8 triple10) -> rule4) triple9) -> rule3) OR ((((((((triple9) -> rule5)) -> rule6) triple10) -> rule4) triple9) -> rule3))] Gary is cold.[(triple12 OR ((triple14) -> rule5))] Gary is red.[(triple13 OR ((triple12) -> rule6) OR ((((triple14) -> rule5)) -> rule6))] Gary is rough.[(triple14)] Gary is young.[(triple15)] @1: Anne is cold.[(((triple2) -> rule5))] Bob is cold.[(((triple5) -> rule5))] Erin is cold.[(((triple9) -> rule5))] Erin is quiet.[(((triple7 triple8) -> rule1) OR ((((triple8 triple10) -> rule4) triple8) -> rule1) OR ((triple7 ((((triple9) -> rule5)) -> rule6)) -> rule1) OR ((((triple8 triple10) -> rule4) ((((triple9) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple9) -> rule5)) -> rule6) triple10) -> rule4) triple8) -> rule1) OR ((((((((triple9) -> rule5)) -> rule6) triple10) -> rule4) ((((triple9) -> rule5)) -> rule6)) -> rule1))] @2: Bob is red.[(((((triple5) -> rule5)) -> rule6))] @3: Bob is quiet.[(((triple4 ((((triple5) -> rule5)) -> rule6)) -> rule1))] @4: Bob is smart.[(((((triple4 ((((triple5) -> rule5)) -> rule6)) -> rule1)) -> rule2))]