Anne is blue. Anne is green. Anne is nice. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is blue. Charlie is green. Charlie is round. Charlie is white. Charlie is young. Erin is big. Erin is nice. Erin is young. Round things are white. All green, round things are nice. Round, young things are big.
Charlie is not nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2 triple4) -> rule2))] Anne is round.[(triple4)] Anne is white.[(triple5 OR ((triple4) -> rule1))] Anne is young.[(triple6)] Charlie is big.[(triple7 OR ((triple10 triple12) -> rule3))] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is round.[(triple10)] Charlie is white.[(triple11 OR ((triple10) -> rule1))] Charlie is young.[(triple12)] Erin is big.[(triple13)] Erin is nice.[(triple14)] Erin is young.[(triple15)] @1: Anne is big.[(((triple4 triple6) -> rule3))] Charlie is nice.[(((triple9 triple10) -> rule2))]