Anne is round. Anne is smart. Anne is young. Gary is furry. Gary is round. Gary is smart. Gary is young. Furry, young things are red. If something is red and furry then it is white. If something is smart and young then it is furry. White things are round. If something is nice then it is young. If Gary is white then Gary is smart. All furry, nice things are white. All nice things are round.
Anne is nice.
@0: Anne is round.[(triple1 OR ((((((((triple2 triple3) -> rule3) triple3) -> rule1) ((triple2 triple3) -> rule3)) -> rule2)) -> rule4))] Anne is smart.[(triple2)] Anne is young.[(triple3)] Gary is furry.[(triple4 OR ((triple6 triple7) -> rule3))] Gary is round.[(triple5 OR ((((((triple4 triple7) -> rule1) triple4) -> rule2)) -> rule4) OR ((((((triple4 triple7) -> rule1) ((triple6 triple7) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple6 triple7) -> rule3) triple7) -> rule1) triple4) -> rule2)) -> rule4) OR ((((((((triple6 triple7) -> rule3) triple7) -> rule1) ((triple6 triple7) -> rule3)) -> rule2)) -> rule4))] Gary is smart.[(triple6 OR ((((((triple4 triple7) -> rule1) triple4) -> rule2)) -> rule6))] Gary is young.[(triple7)] @1: Anne is furry.[(((triple2 triple3) -> rule3))] Gary is red.[(((triple4 triple7) -> rule1) OR ((((triple6 triple7) -> rule3) triple7) -> rule1))] @2: Anne is red.[(((((triple2 triple3) -> rule3) triple3) -> rule1))] Gary is white.[(((((triple4 triple7) -> rule1) triple4) -> rule2) OR ((((triple4 triple7) -> rule1) ((triple6 triple7) -> rule3)) -> rule2) OR ((((((triple6 triple7) -> rule3) triple7) -> rule1) triple4) -> rule2) OR ((((((triple6 triple7) -> rule3) triple7) -> rule1) ((triple6 triple7) -> rule3)) -> rule2))] @3: Anne is white.[(((((((triple2 triple3) -> rule3) triple3) -> rule1) ((triple2 triple3) -> rule3)) -> rule2))]