Anne is big. Anne is round. Anne is white. Erin is red. Erin is rough. Erin is round. Gary is big. Gary is nice. Gary is rough. Gary is white. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. If something is rough and white then it is green. If something is rough then it is white. If something is green then it is big.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Gary is big.[(triple7 OR ((((triple9 triple10) -> rule1)) -> rule3) OR ((((triple9 ((triple9) -> rule2)) -> rule1)) -> rule3))] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10 OR ((triple9) -> rule2))] Harry is green.[(triple11 OR ((triple14 triple16) -> rule1) OR ((triple14 ((triple14) -> rule2)) -> rule1))] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16 OR ((triple14) -> rule2))] @1: Erin is white.[(((triple5) -> rule2))] Gary is green.[(((triple9 triple10) -> rule1) OR ((triple9 ((triple9) -> rule2)) -> rule1))] Harry is big.[(((triple11) -> rule3) OR ((((triple14 triple16) -> rule1)) -> rule3) OR ((((triple14 ((triple14) -> rule2)) -> rule1)) -> rule3))] @2: Erin is green.[(((triple5 ((triple5) -> rule2)) -> rule1))] @3: Erin is big.[(((((triple5 ((triple5) -> rule2)) -> rule1)) -> rule3))]