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