Erin is big. Erin is blue. Erin is kind. Erin is not nice. Erin is not round. Gary is not round. Gary is white. If someone is kind and cold then they are not blue. Nice people are big. All round people are big. If someone is white then they are big. If someone is white and blue then they are not round. Big people are kind. If someone is nice and cold then they are kind. If someone is white then they are cold.
Erin is not kind.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3 OR ((triple1) -> rule6))] Erin is not nice.[(triple4)] Erin is not round.[(triple5)] Gary is not round.[(triple6)] Gary is white.[(triple7)] @1: Gary is big.[(((triple7) -> rule4))] Gary is cold.[(((triple7) -> rule8))] @2: Gary is kind.[(((((triple7) -> rule4)) -> rule6))] @3: Gary is not blue.[(((((((triple7) -> rule4)) -> rule6) ((triple7) -> rule8)) -> rule1))]