Anne is green. Anne is kind. Anne is rough. Anne is round. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is white. Dave is young. Gary is green. Gary is round. Kind, round people are rough. All kind people are round. If someone is smart then they are rough.
Gary is not rough.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1))] Anne is round.[(triple4 OR ((triple2) -> rule2))] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is rough.[(triple7 OR ((triple6 triple8) -> rule1) OR ((triple6 ((triple6) -> rule2)) -> rule1))] Dave is round.[(triple8 OR ((triple6) -> rule2))] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is green.[(triple11)] Gary is round.[(triple12)]