Anne is big. Anne is not nice. Anne is quiet. Anne is round. Anne is not smart. Anne is young. Gary is quiet. Gary is smart. Gary is young. Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is not young. If someone is young then they are quiet. If someone is quiet and not nice then they are young.
Gary is not quiet.
@0: Anne is big.[(triple1)] Anne is not nice.[(triple2)] Anne is not smart.[(triple5)] Anne is quiet.[(triple3 OR ((triple6) -> rule1))] Anne is round.[(triple4)] Anne is young.[(triple6 OR ((triple3 triple2) -> rule2))] Gary is quiet.[(triple7 OR ((triple9) -> rule1))] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is not young.[(triple15)] Harry is quiet.[(triple13)] Harry is round.[(triple14)]