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