Anne is big. Anne is blue. Anne is nice. Charlie is big. Charlie is young. Gary is big. Gary is round. If something is green then it is young. All big things are green. If something is young then it is nice.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3 OR ((((((triple1) -> rule2)) -> rule1)) -> rule3))] Charlie is big.[(triple4)] Charlie is young.[(triple5 OR ((((triple4) -> rule2)) -> rule1))] Gary is big.[(triple6)] Gary is round.[(triple7)] @1: Anne is green.[(((triple1) -> rule2))] Charlie is green.[(((triple4) -> rule2))] Charlie is nice.[(((triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule1)) -> rule3))] Gary is green.[(((triple6) -> rule2))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule1))] Gary is young.[(((((triple6) -> rule2)) -> rule1))] @3: Gary is nice.[(((((((triple6) -> rule2)) -> rule1)) -> rule3))]