Bob is blue. Bob is furry. Bob is kind. Bob is not red. Bob is round. Bob is not smart. Bob is white. Charlie is not furry. Charlie is round. Erin is blue. Erin is kind. Erin is not smart. Erin is white. Gary is furry. Gary is round. Gary is smart. If something is kind and white then it is round.
Bob is not kind.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is not red.[(triple4)] Bob is not smart.[(triple6)] Bob is round.[(triple5 OR ((triple3 triple7) -> rule1))] Bob is white.[(triple7)] Charlie is not furry.[(triple8)] Charlie is round.[(triple9)] Erin is blue.[(triple10)] Erin is kind.[(triple11)] Erin is not smart.[(triple12)] Erin is white.[(triple13)] Gary is furry.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16)] @1: Erin is round.[(((triple11 triple13) -> rule1))]