Anne is big. Anne is not furry. Anne is green. Anne is red. Anne is smart. Anne is white. Anne is not young. Fiona is red. Harry is big. Harry is furry. Harry is green. Harry is not red. Harry is smart. Harry is white. Harry is not young. White, young things are not red. If something is white and not red then it is furry.
Harry is red.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is not young.[(triple7)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Fiona is red.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10 OR ((triple14 triple12) -> rule2))] Harry is green.[(triple11)] Harry is not red.[(triple12)] Harry is not young.[(triple15)] Harry is smart.[(triple13)] Harry is white.[(triple14)]