Erin is blue. Erin is furry. Erin is smart. Harry is blue. Harry is furry. Harry is red. Harry is rough. Harry is smart. Harry is white. Harry is young. If someone is smart and young then they are furry. Blue, red people are white.
Harry is not red.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is smart.[(triple3)] Harry is blue.[(triple4)] Harry is furry.[(triple5 OR ((triple8 triple10) -> rule1))] Harry is red.[(triple6)] Harry is rough.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple4 triple6) -> rule2))] Harry is young.[(triple10)]