Erin is furry. Erin is red. Erin is rough. Erin is white. Gary is blue. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is white. Gary is young. Harry is blue. Harry is furry. Harry is nice. Harry is rough. Harry is white. Nice people are young. Blue, furry people are nice.
Gary is blue.
@0: Erin is furry.[(triple1)] Erin is red.[(triple2)] Erin is rough.[(triple3)] Erin is white.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is nice.[(triple7 OR ((triple5 triple6) -> rule2))] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11 OR ((triple7) -> rule1) OR ((((triple5 triple6) -> rule2)) -> rule1))] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14 OR ((triple12 triple13) -> rule2))] Harry is rough.[(triple15)] Harry is white.[(triple16)] @1: Harry is young.[(((triple14) -> rule1) OR ((((triple12 triple13) -> rule2)) -> rule1))]