Bob is cold. Bob is quiet. Erin is big. Erin is kind. Erin is nice. Erin is red. Gary is big. Gary is nice. Gary is quiet. Gary is young. If someone is red and not big then they are nice. If someone is red and not big then they are nice. All kind, red people are nice. If someone is quiet and red then they are not cold. Young, big people are cold. If someone is nice then they are cold. If Gary is red then Gary is not quiet. If someone is quiet then they are young.
Gary is quiet.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Erin is big.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple4 triple6) -> rule3))] Erin is red.[(triple6)] Gary is big.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10 OR ((triple9) -> rule8))] @1: Bob is young.[(((triple2) -> rule8))] Erin is cold.[(((triple5) -> rule6) OR ((((triple4 triple6) -> rule3)) -> rule6))] Gary is cold.[(((triple8) -> rule6) OR ((triple10 triple7) -> rule5) OR ((((triple9) -> rule8) triple7) -> rule5))]