Bob is blue. Bob is white. Charlie is big. Charlie is furry. Charlie is not red. Charlie is round. Erin is big. Erin is blue. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is not white. Harry is big. Harry is red. If someone is red then they are blue.
Charlie is not red.
@0: Bob is blue.[(triple1)] Bob is white.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is not red.[(triple5)] Charlie is round.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8 OR ((triple11) -> rule1))] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is not white.[(triple13)] Erin is red.[(triple11)] Erin is round.[(triple12)] Harry is big.[(triple14)] Harry is red.[(triple15)] @1: Harry is blue.[(((triple15) -> rule1))]