Anne is not green. Anne is kind. Anne is nice. Anne is white. Anne is young. Dave is not blue. Dave is not round. Dave is not white. Gary is green. Gary is nice. Gary is white. Gary is young. All blue, round things are kind. All green things are round. All nice, round things are blue. Kind, round things are nice. All nice, blue things are young. Green, nice things are white.
Anne is blue.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not green.[(triple1)] Anne is white.[(triple4)] Anne is young.[(triple5)] Dave is not blue.[(triple6)] Dave is not round.[(triple7)] Dave is not white.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is white.[(triple11 OR ((triple9 triple10) -> rule6))] Gary is young.[(triple12 OR ((triple10 ((triple10 ((triple9) -> rule2)) -> rule3)) -> rule5))] @1: Gary is round.[(((triple9) -> rule2))] @2: Gary is blue.[(((triple10 ((triple9) -> rule2)) -> rule3))] @3: Gary is kind.[(((((triple10 ((triple9) -> rule2)) -> rule3) ((triple9) -> rule2)) -> rule1))]