Bob is green. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is white. Erin is kind. Erin is nice. Gary is green. Gary is kind. Gary is nice. Gary is not white. If Gary is kind and Gary is nice then Gary is blue. If something is nice and not furry then it is kind. If something is green then it is nice. If Bob is nice then Bob is kind. If Bob is big then Bob is white. If Bob is white and Bob is kind then Bob is blue. If something is blue and not green then it is big. If something is kind then it is big.
Erin is white.
@0: Bob is green.[(triple1)] Charlie is big.[(triple2 OR ((triple6) -> rule8))] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7 OR ((triple5) -> rule3))] Charlie is white.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13 OR ((triple11) -> rule3))] Gary is not white.[(triple14)] @1: Bob is nice.[(((triple1) -> rule3))] Erin is big.[(((triple9) -> rule8))] Gary is big.[(((triple12) -> rule8))] Gary is blue.[(((triple12 triple13) -> rule1) OR ((triple12 ((triple11) -> rule3)) -> rule1))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule4))] @3: Bob is big.[(((((((triple1) -> rule3)) -> rule4)) -> rule8))] @4: Bob is white.[(((((((((triple1) -> rule3)) -> rule4)) -> rule8)) -> rule5))] @5: Bob is blue.[(((((((((((triple1) -> rule3)) -> rule4)) -> rule8)) -> rule5) ((((triple1) -> rule3)) -> rule4)) -> rule6))]