Anne is quiet. Anne is rough. Anne is young. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Young, red things are nice. All red things are round. Quiet things are smart. Nice, young things are quiet. Quiet, young things are smart. If something is smart then it is red. All smart things are quiet. If something is rough and nice then it is smart.
Anne is not red.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple7) -> rule7))] Dave is round.[(triple6 OR ((((triple7) -> rule6)) -> rule2) OR ((((((triple5) -> rule3)) -> rule6)) -> rule2))] Dave is smart.[(triple7 OR ((triple5) -> rule3))] @1: Anne is smart.[(((triple1) -> rule3) OR ((triple1 triple3) -> rule5))] Dave is red.[(((triple7) -> rule6) OR ((((triple5) -> rule3)) -> rule6))] @2: Anne is red.[(((((triple1) -> rule3)) -> rule6) OR ((((triple1 triple3) -> rule5)) -> rule6))] @3: Anne is nice.[(((triple3 ((((triple1) -> rule3)) -> rule6)) -> rule1) OR ((triple3 ((((triple1 triple3) -> rule5)) -> rule6)) -> rule1))] Anne is round.[(((((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((((triple1 triple3) -> rule5)) -> rule6)) -> rule2))]