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