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