Anne is kind. Charlie is nice. Charlie is quiet. Charlie is red. Dave is nice. Dave is quiet. Dave is red. Dave is round. Gary is furry. Gary is quiet. Nice things are kind. If something is quiet and kind then it is young. Quiet things are kind.
Dave is not round.
@0: Anne is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] @1: Charlie is kind.[(((triple2) -> rule1) OR ((triple3) -> rule3))] Dave is kind.[(((triple5) -> rule1) OR ((triple6) -> rule3))] Gary is kind.[(((triple10) -> rule3))] @2: Charlie is young.[(((triple3 ((triple2) -> rule1)) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule2))] Dave is young.[(((triple6 ((triple5) -> rule1)) -> rule2) OR ((triple6 ((triple6) -> rule3)) -> rule2))] Gary is young.[(((triple10 ((triple10) -> rule3)) -> rule2))]