Charlie is blue. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. Gary is blue. Gary is kind. Gary is smart. Gary is white. Gary is young. If something is kind and young then it is blue. If Charlie is young then Charlie is kind. If something is kind then it is smart. White things are furry. Red things are blue. All young things are blue.
Gary is not white.
@0: Charlie is blue.[(triple1 OR ((triple5) -> rule6) OR ((triple2 triple5) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule1))] Charlie is kind.[(triple2 OR ((triple5) -> rule2))] Charlie is smart.[(triple3 OR ((triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6 OR ((triple10) -> rule6) OR ((triple7 triple10) -> rule1))] Gary is kind.[(triple7)] Gary is smart.[(triple8 OR ((triple7) -> rule3))] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Charlie is furry.[(((triple4) -> rule4))] Gary is furry.[(((triple9) -> rule4))]