Anne is big. Anne is blue. Anne is rough. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Fiona is quiet. Fiona is rough. All blue, kind things are rough. Kind, blue things are green. Blue, big things are rough. All rough, green things are quiet. If something is blue and big then it is kind. If something is quiet then it is big.
Erin is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is rough.[(triple3 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple2 triple1) -> rule5)) -> rule1))] Erin is big.[(triple4 OR ((triple7) -> rule6) OR ((((triple8 triple5) -> rule4)) -> rule6))] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7 OR ((triple8 triple5) -> rule4))] Erin is rough.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is kind.[(((triple2 triple1) -> rule5))] Fiona is big.[(((triple9) -> rule6))] @2: Anne is green.[(((((triple2 triple1) -> rule5) triple2) -> rule2))] @3: Anne is quiet.[(((triple3 ((((triple2 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2 triple1) -> rule3) ((((triple2 triple1) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2 ((triple2 triple1) -> rule5)) -> rule1) ((((triple2 triple1) -> rule5) triple2) -> rule2)) -> rule4))]