Anne is furry. Anne is kind. Anne is smart. Dave is big. Dave is kind. Dave is rough. Dave is smart. Gary is big. Gary is smart. Harry is big. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is smart. All furry people are smart. If someone is round then they are big. Round people are rough.
Dave is not big.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule1))] Dave is big.[(triple4)] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Gary is big.[(triple8)] Gary is smart.[(triple9)] Harry is big.[(triple10 OR ((triple15) -> rule2))] Harry is furry.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14 OR ((triple15) -> rule3))] Harry is round.[(triple15)] Harry is smart.[(triple16 OR ((triple11) -> rule1))]