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