Anne is big. Anne is kind. Anne is round. Anne is young. Charlie is kind. Charlie is round. Gary is blue. Gary is kind. Gary is nice. Gary is round. If Anne is kind then Anne is young. If something is round and big then it is young. If Anne is round and Anne is young then Anne is nice. Round, quiet things are blue. All round, blue things are nice. If something is nice then it is quiet.
Charlie is not young.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4 OR ((triple2) -> rule1) OR ((triple3 triple1) -> rule2))] Charlie is kind.[(triple5)] Charlie is round.[(triple6)] Gary is blue.[(triple7 OR ((triple10 ((triple9) -> rule6)) -> rule4))] Gary is kind.[(triple8)] Gary is nice.[(triple9 OR ((triple10 triple7) -> rule5))] Gary is round.[(triple10)] @1: Anne is nice.[(((triple3 triple4) -> rule3) OR ((triple3 ((triple2) -> rule1)) -> rule3) OR ((triple3 ((triple3 triple1) -> rule2)) -> rule3))] Gary is quiet.[(((triple9) -> rule6) OR ((((triple10 triple7) -> rule5)) -> rule6))] @2: Anne is quiet.[(((((triple3 triple4) -> rule3)) -> rule6) OR ((((triple3 ((triple2) -> rule1)) -> rule3)) -> rule6) OR ((((triple3 ((triple3 triple1) -> rule2)) -> rule3)) -> rule6))] @3: Anne is blue.[(((triple3 ((((triple3 triple4) -> rule3)) -> rule6)) -> rule4) OR ((triple3 ((((triple3 ((triple2) -> rule1)) -> rule3)) -> rule6)) -> rule4) OR ((triple3 ((((triple3 ((triple3 triple1) -> rule2)) -> rule3)) -> rule6)) -> rule4))]