Anne is nice. Anne is red. Anne is young. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Gary is red. Gary is rough. Gary is round. All young people are nice. If someone is round and not smart then they are nice. If someone is round then they are young. If someone is furry and not rough then they are young. If Anne is not rough then Anne is young. All round, nice people are furry.
Gary is smart.
@0: Anne is nice.[(triple1 OR ((triple3) -> rule1))] Anne is red.[(triple2)] Anne is young.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule3))] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Charlie is nice.[(((triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Gary is young.[(((triple10) -> rule3))] @2: Charlie is furry.[(((triple5 ((triple7) -> rule1)) -> rule6) OR ((triple5 ((((triple5) -> rule3)) -> rule1)) -> rule6))] Gary is nice.[(((((triple10) -> rule3)) -> rule1))] @3: Gary is furry.[(((triple10 ((((triple10) -> rule3)) -> rule1)) -> rule6))]