Anne is big. Anne is blue. Anne is not quiet. Anne is round. Anne is young. Bob is blue. Bob is green. Bob is not quiet. Bob is round. Bob is young. Charlie is big. Erin is blue. If something is blue then it is round. All green, quiet things are not round.
Erin is not round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not quiet.[(triple3)] Anne is round.[(triple4 OR ((triple2) -> rule1))] Anne is young.[(triple5)] Bob is blue.[(triple6)] Bob is green.[(triple7)] Bob is not quiet.[(triple8)] Bob is round.[(triple9 OR ((triple6) -> rule1))] Bob is young.[(triple10)] Charlie is big.[(triple11)] Erin is blue.[(triple12)] @1: Erin is round.[(((triple12) -> rule1))]