Anne is green. Anne is nice. Anne is round. Anne is smart. Anne is young. Erin is big. Erin is nice. Erin is young. Fiona is big. Gary is big. Gary is nice. Gary is rough. Gary is round. Gary is smart. Gary is young. Rough things are round. If Gary is young then Gary is big. All rough, round things are smart. Smart things are young. All round things are big. If something is round then it is big. All rough, green things are smart. If something is rough and smart then it is big.
Erin is not smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((triple4) -> rule4))] Erin is big.[(triple6)] Erin is nice.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Gary is big.[(triple10 OR ((triple13) -> rule5) OR ((triple13) -> rule6) OR ((triple15) -> rule2) OR ((triple12 triple14) -> rule8) OR ((((triple12) -> rule1)) -> rule5) OR ((((triple12) -> rule1)) -> rule6) OR ((((triple14) -> rule4)) -> rule2) OR ((triple12 ((triple12 triple13) -> rule3)) -> rule8) OR ((((((triple12 triple13) -> rule3)) -> rule4)) -> rule2) OR ((triple12 ((triple12 ((triple12) -> rule1)) -> rule3)) -> rule8) OR ((((((triple12 ((triple12) -> rule1)) -> rule3)) -> rule4)) -> rule2))] Gary is nice.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13 OR ((triple12) -> rule1))] Gary is smart.[(triple14 OR ((triple12 triple13) -> rule3) OR ((triple12 ((triple12) -> rule1)) -> rule3))] Gary is young.[(triple15 OR ((triple14) -> rule4) OR ((((triple12 triple13) -> rule3)) -> rule4) OR ((((triple12 ((triple12) -> rule1)) -> rule3)) -> rule4))] @1: Anne is big.[(((triple3) -> rule5) OR ((triple3) -> rule6))]