Bob is not kind. Bob is nice. Dave is nice. Erin is cold. Gary is not cold. Gary is furry. Gary is kind. If something is furry and red then it is not white. If Erin is kind then Erin is white. If something is furry then it is red. Furry things are not young. If something is young then it is nice. If something is kind and not white then it is nice.
Bob is not cold.
@0: Bob is nice.[(triple2)] Bob is not kind.[(triple1)] Dave is nice.[(triple3)] Erin is cold.[(triple4)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] Gary is not cold.[(triple5)] @1: Gary is not young.[(((triple6) -> rule4))] Gary is red.[(((triple6) -> rule3))] @2: Gary is not white.[(((triple6 ((triple6) -> rule3)) -> rule1))] @3: Gary is nice.[(((triple7 ((triple6 ((triple6) -> rule3)) -> rule1)) -> rule6))]