Bob is quiet. Dave is blue. Erin is big. Erin is young. Gary is big. Gary is kind. Gary is smart. If someone is big then they are smart. All kind people are blue. If someone is cold then they are smart. All kind people are blue. If someone is cold and big then they are young. If someone is kind and big then they are cold.
Dave is not cold.
@0: Bob is quiet.[(triple1)] Dave is blue.[(triple2)] Erin is big.[(triple3)] Erin is young.[(triple4)] Gary is big.[(triple5)] Gary is kind.[(triple6)] Gary is smart.[(triple7 OR ((triple5) -> rule1) OR ((((triple6 triple5) -> rule6)) -> rule3))] @1: Erin is smart.[(((triple3) -> rule1))] Gary is blue.[(((triple6) -> rule2) OR ((triple6) -> rule4))] Gary is cold.[(((triple6 triple5) -> rule6))] @2: Gary is young.[(((((triple6 triple5) -> rule6) triple5) -> rule5))]