Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is white. Gary is young. All white, kind things are furry. If something is red and kind then it is white. If something is cold and red then it is kind.
Gary is not cold.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2 OR ((triple6 triple3) -> rule1) OR ((triple6 ((triple1 triple5) -> rule3)) -> rule1) OR ((((triple5 triple3) -> rule2) triple3) -> rule1) OR ((((triple5 triple3) -> rule2) ((triple1 triple5) -> rule3)) -> rule1) OR ((((triple5 ((triple1 triple5) -> rule3)) -> rule2) triple3) -> rule1) OR ((((triple5 ((triple1 triple5) -> rule3)) -> rule2) ((triple1 triple5) -> rule3)) -> rule1))] Gary is kind.[(triple3 OR ((triple1 triple5) -> rule3))] Gary is nice.[(triple4)] Gary is red.[(triple5)] Gary is white.[(triple6 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple1 triple5) -> rule3)) -> rule2))] Gary is young.[(triple7)]