Anne is big. Anne is furry. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is big. Bob is furry. Bob is rough. Bob is smart. Bob is white. Bob is young. Harry is big. Harry is furry. Harry is white. Young things are rough.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple7) -> rule1))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is furry.[(triple9)] Bob is rough.[(triple10 OR ((triple13) -> rule1))] Bob is smart.[(triple11)] Bob is white.[(triple12)] Bob is young.[(triple13)] Harry is big.[(triple14)] Harry is furry.[(triple15)] Harry is white.[(triple16)]