Anne is round. Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is smart. Charlie is big. Charlie is furry. Charlie is smart. Dave is big. Dave is nice. Dave is rough. Dave is round. Dave is smart. All kind, big people are smart. Rough people are kind. Nice people are smart.
Charlie is big.
@0: Anne is round.[(triple1)] Bob is big.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple6) -> rule2))] Bob is nice.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8 OR ((triple5) -> rule3) OR ((triple4 triple2) -> rule1) OR ((((triple6) -> rule2) triple2) -> rule1))] Charlie is big.[(triple9)] Charlie is furry.[(triple10)] Charlie is smart.[(triple11)] Dave is big.[(triple12)] Dave is nice.[(triple13)] Dave is rough.[(triple14)] Dave is round.[(triple15)] Dave is smart.[(triple16 OR ((triple13) -> rule3) OR ((((triple14) -> rule2) triple12) -> rule1))] @1: Dave is kind.[(((triple14) -> rule2))]