Bob is big. Bob is kind. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is white. Dave is big. Dave is furry. Dave is kind. Dave is not nice. Dave is round. Dave is white. Harry is blue. Harry is nice. Harry is round. Harry is white. If something is blue then it is kind. If something is nice and not blue then it is round. If Bob is furry and Bob is big then Bob is white.
Charlie is nice.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5 OR ((triple3) -> rule1))] Charlie is white.[(triple6)] Dave is big.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is not nice.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Harry is kind.[(((triple13) -> rule1))]