Bob is not big. Bob is not blue. Bob is not kind. Bob is nice. Bob is red. Gary is blue. Gary is nice. If someone is smart then they are cold. All cold people are not big. All blue people are smart. If Bob is kind and Bob is not blue then Bob is red. If someone is big then they are not nice. If someone is smart and not big then they are nice. Kind people are nice. If someone is smart and not big then they are not red.
Gary is not cold.
@0: Bob is nice.[(triple4)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is not kind.[(triple3)] Bob is red.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7 OR ((((triple6) -> rule3) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule6))] @1: Gary is smart.[(((triple6) -> rule3))] @2: Gary is cold.[(((((triple6) -> rule3)) -> rule1))] @3: Gary is not big.[(((((((triple6) -> rule3)) -> rule1)) -> rule2))] @4: Gary is not red.[(((((triple6) -> rule3) ((((((triple6) -> rule3)) -> rule1)) -> rule2)) -> rule8))]