Bob is big. Charlie is round. Erin is big. Erin is furry. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is round. If something is kind then it is white. All nice things are kind. White, round things are kind.
Charlie is not white.
@0: Bob is big.[(triple1)] Charlie is round.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is kind.[(triple8 OR ((triple9) -> rule2))] Gary is nice.[(triple9)] Gary is round.[(triple10)] @1: Gary is white.[(((triple8) -> rule1) OR ((((triple9) -> rule2)) -> rule1))]