Bob is furry. Bob is kind. Bob is rough. Bob is smart. Bob is young. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Harry is furry. Harry is quiet. Harry is smart. Harry is white. Harry is young. If Harry is white and Harry is quiet then Harry is young. If Bob is kind and Bob is rough then Bob is white. All quiet, smart things are white.
Bob is white.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Charlie is white.[(triple11 OR ((triple8 triple10) -> rule3))] Harry is furry.[(triple12)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple13 triple14) -> rule3))] Harry is young.[(triple16 OR ((triple15 triple13) -> rule1) OR ((((triple13 triple14) -> rule3) triple13) -> rule1))] @1: Bob is white.[(((triple2 triple3) -> rule2))]