Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is young. Gary is furry. Gary is kind. Gary is red. Gary is white. Gary is young. White, furry people are kind. Blue people are white. Quiet people are kind. All blue, red people are kind. All young, red people are blue. All quiet, red people are blue.
Gary is white.
@0: Charlie is blue.[(triple1 OR ((triple3 triple4) -> rule6) OR ((triple5 triple4) -> rule5))] Charlie is kind.[(triple2 OR ((triple3) -> rule3) OR ((triple1 triple4) -> rule4) OR ((((triple3 triple4) -> rule6) triple4) -> rule4) OR ((((triple5 triple4) -> rule5) triple4) -> rule4))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is young.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7 OR ((triple9 triple6) -> rule1) OR ((((triple10 triple8) -> rule5) triple8) -> rule4) OR ((((((triple10 triple8) -> rule5)) -> rule2) triple6) -> rule1))] Gary is red.[(triple8)] Gary is white.[(triple9 OR ((((triple10 triple8) -> rule5)) -> rule2))] Gary is young.[(triple10)] @1: Charlie is white.[(((triple1) -> rule2) OR ((((triple3 triple4) -> rule6)) -> rule2) OR ((((triple5 triple4) -> rule5)) -> rule2))] Gary is blue.[(((triple10 triple8) -> rule5))]