Anne is furry. Dave is furry. Dave is quiet. Dave is rough. Dave is white. Erin is big. Erin is kind. Erin is smart. Erin is white. Harry is big. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Kind things are big.
Anne is not big.
@0: Anne is furry.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Erin is big.[(triple6 OR ((triple7) -> rule1))] Erin is kind.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Harry is big.[(triple10 OR ((triple12) -> rule1))] Harry is furry.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)]