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