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