Bob is big. Bob is nice. Bob is not rough. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is smart. All white people are nice. All big, kind people are smart. Nice people are kind. All nice, furry people are kind. If someone is smart and nice then they are white. If someone is rough then they are furry.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is not rough.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5 OR ((triple6) -> rule3) OR ((triple6 triple4) -> rule4))] Charlie is nice.[(triple6)] Charlie is smart.[(triple7)] @1: Bob is kind.[(((triple2) -> rule3))] Charlie is white.[(((triple7 triple6) -> rule5))] @2: Bob is smart.[(((triple1 ((triple2) -> rule3)) -> rule2))] @3: Bob is white.[(((((triple1 ((triple2) -> rule3)) -> rule2) triple2) -> rule5))]