Anne is quiet. Anne is red. Dave is kind. Dave is round. Gary is green. Gary is quiet. Harry is green. Harry is kind. Harry is nice. Harry is rough. Kind people are green. If someone is rough and nice then they are kind.
Gary is rough.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Dave is kind.[(triple3)] Dave is round.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Harry is green.[(triple7 OR ((triple8) -> rule1) OR ((((triple10 triple9) -> rule2)) -> rule1))] Harry is kind.[(triple8 OR ((triple10 triple9) -> rule2))] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Dave is green.[(((triple3) -> rule1))]