Bob is furry. Bob is kind. Bob is smart. Bob is white. Charlie is big. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Harry is red. Red, white things are rough. Smart, big things are furry. If something is big and rough then it is smart.
Bob is not white.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6 OR ((triple10 triple5) -> rule2) OR ((((triple5 triple9) -> rule3) triple5) -> rule2) OR ((((triple5 ((triple8 triple11) -> rule1)) -> rule3) triple5) -> rule2))] Charlie is kind.[(triple7)] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple8 triple11) -> rule1))] Charlie is smart.[(triple10 OR ((triple5 triple9) -> rule3) OR ((triple5 ((triple8 triple11) -> rule1)) -> rule3))] Charlie is white.[(triple11)] Harry is red.[(triple12)]