Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is white. Erin is young. Gary is big. Gary is nice. Gary is white. Harry is nice. Harry is quiet. White, nice people are cold. If someone is young and big then they are white. All cold, nice people are young. If Harry is big then Harry is white. Blue people are quiet. If someone is nice and cold then they are blue.
Gary is not quiet.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple6 triple4) -> rule1)) -> rule6) OR ((triple4 ((((triple7 triple1) -> rule2) triple4) -> rule1)) -> rule6))] Erin is cold.[(triple3 OR ((triple6 triple4) -> rule1) OR ((((triple7 triple1) -> rule2) triple4) -> rule1))] Erin is nice.[(triple4)] Erin is quiet.[(triple5 OR ((triple2) -> rule5) OR ((((triple4 triple3) -> rule6)) -> rule5) OR ((((triple4 ((triple6 triple4) -> rule1)) -> rule6)) -> rule5) OR ((((triple4 ((((triple7 triple1) -> rule2) triple4) -> rule1)) -> rule6)) -> rule5))] Erin is white.[(triple6 OR ((triple7 triple1) -> rule2) OR ((((triple3 triple4) -> rule3) triple1) -> rule2))] Erin is young.[(triple7 OR ((triple3 triple4) -> rule3) OR ((((triple6 triple4) -> rule1) triple4) -> rule3))] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] @1: Gary is cold.[(((triple10 triple9) -> rule1))] @2: Gary is blue.[(((triple9 ((triple10 triple9) -> rule1)) -> rule6))] Gary is young.[(((((triple10 triple9) -> rule1) triple9) -> rule3))] @3: Gary is quiet.[(((((triple9 ((triple10 triple9) -> rule1)) -> rule6)) -> rule5))]