Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is quiet. Anne is rough. Anne is young. Bob is quiet. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is young. Harry is rough. Rough things are blue. All rough things are quiet. Blue things are young.
Bob is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple6) -> rule1))] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5 OR ((triple6) -> rule2))] Anne is rough.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] Bob is quiet.[(triple8)] Erin is big.[(triple9)] Erin is blue.[(triple10)] Erin is cold.[(triple11)] Erin is green.[(triple12)] Erin is quiet.[(triple13)] Erin is young.[(triple14 OR ((triple10) -> rule3))] Harry is rough.[(triple15)] @1: Harry is blue.[(((triple15) -> rule1))] Harry is quiet.[(((triple15) -> rule2))] @2: Harry is young.[(((((triple15) -> rule1)) -> rule3))]