Anne is red. Fiona is green. Gary is rough. If something is big and red then it is not green. If something is red then it is rough. If something is red then it is rough. Big things are rough. All rough things are big. If something is rough and big then it is blue. If something is green and not rough then it is blue. All big things are blue.
Fiona is red.
@0: Anne is red.[(triple1)] Fiona is green.[(triple2)] Gary is rough.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Gary is big.[(((triple3) -> rule5))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule3)) -> rule5))] Gary is blue.[(((((triple3) -> rule5)) -> rule8) OR ((triple3 ((triple3) -> rule5)) -> rule6))] @3: Anne is blue.[(((((((triple1) -> rule2)) -> rule5)) -> rule8) OR ((((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple1) -> rule2) ((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule5)) -> rule6))] Anne is not green.[(((((((triple1) -> rule2)) -> rule5) triple1) -> rule1) OR ((((((triple1) -> rule3)) -> rule5) triple1) -> rule1))]