Charlie is furry. Charlie is kind. Charlie is red. Charlie is not round. Fiona is furry. Fiona is not kind. Fiona is white. Gary is cold. Gary is red. Gary is not round. Gary is smart. Gary is white. White, smart things are not furry. If something is round then it is red. If something is round then it is red. If Fiona is furry and Fiona is cold then Fiona is white. If Gary is kind and Gary is white then Gary is not smart. If something is furry then it is not smart.
Gary is kind.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is not round.[(triple4)] Charlie is red.[(triple3)] Fiona is furry.[(triple5)] Fiona is not kind.[(triple6)] Fiona is white.[(triple7)] Gary is cold.[(triple8)] Gary is not round.[(triple10)] Gary is red.[(triple9)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Charlie is not smart.[(((triple1) -> rule6))] Fiona is not smart.[(((triple5) -> rule6))] Gary is not furry.[(((triple12 triple11) -> rule1))]