Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Gary is green. Gary is kind. Gary is not red. Gary is round. Gary is smart. Gary is young. Kind people are furry. If someone is red then they are not smart. If someone is kind then they are round.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is not red.[(triple7)] Gary is round.[(triple8 OR ((triple6) -> rule3))] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Charlie is not smart.[(((triple3) -> rule2))] Gary is furry.[(((triple6) -> rule1))]