Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Bob is smart. Charlie is green. Charlie is kind. Dave is big. Dave is green. Dave is nice. Dave is round. Dave is smart. Harry is green. Harry is smart. All kind people are round.
Harry is not round.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple3) -> rule1))] Bob is smart.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9)] Dave is big.[(triple10)] Dave is green.[(triple11)] Dave is nice.[(triple12)] Dave is round.[(triple13)] Dave is smart.[(triple14)] Harry is green.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is round.[(((triple9) -> rule1))]