Bob is cold. Bob is furry. Bob is not kind. Bob is white. Erin is cold. Erin is rough. Erin is smart. Erin is white. Gary is smart. Gary is young. Furry things are not young. If something is furry then it is white. If something is smart and young then it is not white. If something is rough and cold then it is white. If Gary is kind then Gary is white. If Gary is cold then Gary is smart.
Gary is kind.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not kind.[(triple3)] Bob is white.[(triple4 OR ((triple2) -> rule2))] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8 OR ((triple6 triple5) -> rule4))] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Bob is not young.[(((triple2) -> rule1))] Gary is not white.[(((triple9 triple10) -> rule3))]