Anne is nice. Anne is smart. Anne is young. Dave is blue. Dave is furry. Dave is kind. Dave is young. Gary is furry. Gary is nice. Gary is smart. All smart things are blue. Smart, young things are kind. All smart, nice things are kind.
Dave is not blue.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is young.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Anne is blue.[(((triple2) -> rule1))] Anne is kind.[(((triple2 triple1) -> rule3) OR ((triple2 triple3) -> rule2))] Gary is blue.[(((triple10) -> rule1))] Gary is kind.[(((triple10 triple9) -> rule3))]