Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Anne is white. Fiona is big. Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is white. If something is kind and white then it is nice.
Fiona is not nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple3 triple7) -> rule1))] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Fiona is big.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12 OR ((triple11 triple15) -> rule1))] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)]