Bob is blue. Bob is furry. Bob is kind. Bob is round. Bob is white. Erin is blue. Erin is kind. Erin is nice. Erin is not round. Erin is white. Erin is young. Gary is blue. Gary is kind. Gary is round. Gary is young. If someone is young and not furry then they are blue. If someone is young then they are kind.
Erin is young.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7 OR ((triple11) -> rule2))] Erin is nice.[(triple8)] Erin is not round.[(triple9)] Erin is white.[(triple10)] Erin is young.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple13 OR ((triple15) -> rule2))] Gary is round.[(triple14)] Gary is young.[(triple15)]