Anne is smart. Dave is young. Gary is not cold. Gary is not rough. Harry is round. Harry is smart. Harry is young. If someone is smart then they are nice. If Harry is rough then Harry is round. If someone is nice and not young then they are round. All smart, nice people are round. If someone is cold and nice then they are not smart. If someone is young and not rough then they are smart. If someone is round and not nice then they are quiet. Round people are quiet.
Dave is not smart.
@0: Anne is smart.[(triple1)] Dave is young.[(triple2)] Gary is not cold.[(triple3)] Gary is not rough.[(triple4)] Harry is round.[(triple5 OR ((triple6 ((triple6) -> rule1)) -> rule4))] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Anne is nice.[(((triple1) -> rule1))] Harry is nice.[(((triple6) -> rule1))] Harry is quiet.[(((triple5) -> rule8) OR ((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8))] @2: Anne is round.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: Anne is quiet.[(((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule8))]