Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is smart. Gary is not blue. Gary is cold. Gary is furry. Gary is not nice. Gary is red. Gary is round. Gary is smart. All furry things are smart.
Charlie is not furry.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is smart.[(triple5 OR ((triple3) -> rule1))] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is not blue.[(triple6)] Gary is not nice.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12 OR ((triple8) -> rule1))]