Bob is big. Bob is not blue. Bob is round. Bob is smart. Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Harry is smart. If someone is big and green then they are kind. If someone is kind and not cold then they are smart. All big people are smart.
Charlie is round.
@0: Bob is big.[(triple1)] Bob is not blue.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple1) -> rule3))] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9 OR ((triple5 triple8) -> rule1))] Harry is smart.[(triple10)] @1: Charlie is smart.[(((triple5) -> rule3))]