Anne is big. Anne is kind. Anne is rough. Anne is young. Dave is big. Dave is rough. Harry is big. Harry is not kind. Harry is not nice. Harry is rough. Harry is not round. Harry is young. If someone is nice then they are kind. If someone is furry then they are not round. All furry, kind people are round. If someone is round then they are rough. Young people are big. If someone is round and rough then they are young.
Anne is not kind.
@0: Anne is big.[(triple1 OR ((triple4) -> rule5))] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Dave is big.[(triple5)] Dave is rough.[(triple6)] Harry is big.[(triple7 OR ((triple12) -> rule5))] Harry is not kind.[(triple8)] Harry is not nice.[(triple9)] Harry is not round.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple12)]