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