Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is smart. Anne is young. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Gary is furry. Gary is smart. Gary is young. Red things are young. If something is kind and red then it is blue. Kind things are red. Red things are smart. All red things are kind. Red, blue things are kind.
Gary is not kind.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule3)) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule2) OR ((((triple4) -> rule5) ((triple3) -> rule3)) -> rule2))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule5) OR ((triple4 triple1) -> rule6))] Anne is red.[(triple4 OR ((triple3) -> rule3))] Anne is smart.[(triple5 OR ((triple4) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Anne is young.[(triple6 OR ((triple4) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] Charlie is blue.[(triple7 OR ((triple9 triple10) -> rule2) OR ((triple9 ((triple9) -> rule3)) -> rule2) OR ((((triple10) -> rule5) triple10) -> rule2) OR ((((triple10) -> rule5) ((triple9) -> rule3)) -> rule2))] Charlie is furry.[(triple8)] Charlie is kind.[(triple9 OR ((triple10) -> rule5) OR ((triple10 triple7) -> rule6))] Charlie is red.[(triple10 OR ((triple9) -> rule3))] Charlie is smart.[(triple11 OR ((triple10) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] Charlie is young.[(triple12 OR ((triple10) -> rule1) OR ((((triple9) -> rule3)) -> rule1))] Gary is furry.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]