Anne is big. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Dave is red. Dave is round. Erin is big. Erin is furry. Erin is quiet. Erin is red. Erin is round. Erin is smart. Harry is big. Harry is smart. Red things are big. If something is red then it is round.
Erin is not furry.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple3) -> rule2))] Anne is smart.[(triple5)] Anne is young.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8 OR ((triple7) -> rule2))] Erin is big.[(triple9 OR ((triple12) -> rule1))] Erin is furry.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple12) -> rule2))] Erin is smart.[(triple14)] Harry is big.[(triple15)] Harry is smart.[(triple16)] @1: Dave is big.[(((triple7) -> rule1))]