Anne is green. Anne is nice. Anne is smart. Anne is white. Anne is young. Dave is not green. Dave is round. Dave is young. Gary is nice. Gary is round. Gary is not smart. Gary is young. Harry is green. Harry is not kind. Harry is nice. Harry is young. If Gary is young and Gary is nice then Gary is round. If Gary is not nice and Gary is not kind then Gary is not white. If someone is kind then they are not young. If someone is white and not green then they are young. If someone is green then they are smart. If someone is green and not round then they are smart.
Dave is not smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule5))] Anne is white.[(triple4)] Anne is young.[(triple5)] Dave is not green.[(triple6)] Dave is round.[(triple7)] Dave is young.[(triple8)] Gary is nice.[(triple9)] Gary is not smart.[(triple11)] Gary is round.[(triple10 OR ((triple12 triple9) -> rule1))] Gary is young.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple15)] Harry is not kind.[(triple14)] Harry is young.[(triple16)] @1: Harry is smart.[(((triple13) -> rule5))]