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