Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is not smart. Gary is not white. Furry things are kind. If something is furry and not cold then it is kind.
Gary is not kind.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4 OR ((triple3) -> rule1))] Gary is not smart.[(triple6)] Gary is not white.[(triple7)] Gary is quiet.[(triple5)]