Anne is big. Anne is nice. Anne is round. Fiona is nice. Fiona is round. Fiona is not young. Gary is blue. If someone is young then they are blue. All green people are blue. If someone is green then they are nice. Blue, young people are green. If someone is big then they are young. If someone is nice then they are round.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2 OR ((((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule4)) -> rule3))] Anne is round.[(triple3 OR ((triple2) -> rule6) OR ((((((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule4)) -> rule3)) -> rule6))] Fiona is nice.[(triple4)] Fiona is not young.[(triple6)] Fiona is round.[(triple5 OR ((triple4) -> rule6))] Gary is blue.[(triple7)] @1: Anne is young.[(((triple1) -> rule5))] @2: Anne is blue.[(((((triple1) -> rule5)) -> rule1))] @3: Anne is green.[(((((((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule4))]