Anne is nice. Charlie is big. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Dave is big. Dave is quiet. Dave is not red. Dave is round. Dave is smart. Harry is big. Harry is kind. Harry is nice. Harry is quiet. If someone is round then they are kind.
Anne is not kind.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3 OR ((triple5) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Dave is big.[(triple7)] Dave is not red.[(triple9)] Dave is quiet.[(triple8)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Harry is big.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] @1: Dave is kind.[(((triple10) -> rule1))]