Bob is blue. Bob is green. Bob is young. Charlie is white. Gary is white. Gary is young. Harry is big. Harry is furry. Harry is red. Harry is white. All red people are blue. Big, white people are green. If someone is green and red then they are big. Blue people are big. If someone is white then they are furry. All furry people are red.
Charlie is not red.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is young.[(triple3)] Charlie is white.[(triple4)] Gary is white.[(triple5)] Gary is young.[(triple6)] Harry is big.[(triple7 OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple8) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule6)) -> rule1)) -> rule4))] Harry is furry.[(triple8 OR ((triple10) -> rule5))] Harry is red.[(triple9 OR ((triple8) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] Harry is white.[(triple10)] @1: Bob is big.[(((triple1) -> rule4))] Charlie is furry.[(((triple4) -> rule5))] Gary is furry.[(((triple5) -> rule5))] Harry is blue.[(((triple9) -> rule1) OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple10) -> rule5)) -> rule6)) -> rule1))] Harry is green.[(((triple7 triple10) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) triple10) -> rule2) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule4) triple10) -> rule2) OR ((((((((((triple10) -> rule5)) -> rule6)) -> rule1)) -> rule4) triple10) -> rule2))] @2: Charlie is red.[(((((triple4) -> rule5)) -> rule6))] Gary is red.[(((((triple5) -> rule5)) -> rule6))] @3: Charlie is blue.[(((((((triple4) -> rule5)) -> rule6)) -> rule1))] Gary is blue.[(((((((triple5) -> rule5)) -> rule6)) -> rule1))] @4: Charlie is big.[(((((((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule4))] Gary is big.[(((((((((triple5) -> rule5)) -> rule6)) -> rule1)) -> rule4))] @5: Charlie is green.[(((((((((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule4) triple4) -> rule2))] Gary is green.[(((((((((((triple5) -> rule5)) -> rule6)) -> rule1)) -> rule4) triple5) -> rule2))]