Anne is quiet. Anne is red. Dave is red. Dave is round. Dave is smart. Gary is blue. Gary is green. Gary is quiet. Gary is round. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is smart. All blue people are green.
Anne is not green.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Gary is blue.[(triple6)] Gary is green.[(triple7 OR ((triple6) -> rule1))] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11 OR ((triple10) -> rule1))] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)]