Bob is white. Charlie is blue. Charlie is green. Gary is blue. Gary is nice. Gary is smart. Gary is white. If someone is smart and green then they are nice. If someone is blue then they are white. If Charlie is kind then Charlie is nice. If someone is kind then they are smart. All smart people are white. Kind people are nice. White, nice people are furry. Blue, white people are smart.
Charlie is not blue.
@0: Bob is white.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Gary is blue.[(triple4)] Gary is nice.[(triple5)] Gary is smart.[(triple6 OR ((triple4 triple7) -> rule8) OR ((triple4 ((triple4) -> rule2)) -> rule8))] Gary is white.[(triple7 OR ((triple4) -> rule2) OR ((triple6) -> rule5))] @1: Charlie is white.[(((triple2) -> rule2))] Gary is furry.[(((triple7 triple5) -> rule7) OR ((((triple4) -> rule2) triple5) -> rule7) OR ((((triple6) -> rule5) triple5) -> rule7))] @2: Charlie is smart.[(((triple2 ((triple2) -> rule2)) -> rule8))] @3: Charlie is nice.[(((((triple2 ((triple2) -> rule2)) -> rule8) triple3) -> rule1))] @4: Charlie is furry.[(((((triple2) -> rule2) ((((triple2 ((triple2) -> rule2)) -> rule8) triple3) -> rule1)) -> rule7))]