Anne is green. Anne is kind. Anne is white. Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is white. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is white. White, green people are kind. All furry people are big. All quiet people are big. If someone is big and furry then they are quiet. If someone is white then they are furry. If Charlie is furry and Charlie is green then Charlie is kind. All quiet, furry people are blue. If Charlie is white and Charlie is kind then Charlie is blue.
Anne is furry.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3 triple1) -> rule1))] Anne is white.[(triple3)] Charlie is big.[(triple4 OR ((triple8) -> rule3) OR ((((triple9) -> rule5)) -> rule2))] Charlie is blue.[(triple5 OR ((triple9 triple7) -> rule8) OR ((triple8 ((triple9) -> rule5)) -> rule7) OR ((triple9 ((triple9 triple6) -> rule1)) -> rule8) OR ((triple9 ((((triple9) -> rule5) triple6) -> rule6)) -> rule8) OR ((((triple4 ((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule7) OR ((((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule7))] Charlie is green.[(triple6)] Charlie is kind.[(triple7 OR ((triple9 triple6) -> rule1) OR ((((triple9) -> rule5) triple6) -> rule6))] Charlie is quiet.[(triple8 OR ((triple4 ((triple9) -> rule5)) -> rule4) OR ((((((triple9) -> rule5)) -> rule2) ((triple9) -> rule5)) -> rule4))] Charlie is white.[(triple9)] Gary is big.[(triple10 OR ((triple12) -> rule2) OR ((((triple15) -> rule5)) -> rule2))] Gary is blue.[(triple11 OR ((((triple10 triple12) -> rule4) triple12) -> rule7) OR ((((triple10 triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((triple10 ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((triple12) -> rule2) triple12) -> rule4) triple12) -> rule7) OR ((((triple10 ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) triple12) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) ((triple15) -> rule5)) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4) triple12) -> rule7) OR ((((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4) ((triple15) -> rule5)) -> rule7))] Gary is furry.[(triple12 OR ((triple15) -> rule5))] Gary is green.[(triple13)] Gary is kind.[(triple14 OR ((triple15 triple13) -> rule1))] Gary is white.[(triple15)] @1: Anne is furry.[(((triple3) -> rule5))] Charlie is furry.[(((triple9) -> rule5))] Gary is quiet.[(((triple10 triple12) -> rule4) OR ((triple10 ((triple15) -> rule5)) -> rule4) OR ((((triple12) -> rule2) triple12) -> rule4) OR ((((triple12) -> rule2) ((triple15) -> rule5)) -> rule4) OR ((((((triple15) -> rule5)) -> rule2) triple12) -> rule4) OR ((((((triple15) -> rule5)) -> rule2) ((triple15) -> rule5)) -> rule4))] @2: Anne is big.[(((((triple3) -> rule5)) -> rule2))] @3: Anne is quiet.[(((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4))] @4: Anne is blue.[(((((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule7))]