Bob is big. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Harry is not big. Harry is kind. Harry is red. Harry is rough. Harry is white. White, red things are young. All rough, red things are young. Big things are white. If Harry is rough and Harry is not white then Harry is not kind. If Bob is not white then Bob is not kind. If Harry is big and Harry is not kind then Harry is furry.
Harry is not rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6 OR ((triple1) -> rule3))] Bob is young.[(triple7 OR ((triple5 triple4) -> rule2) OR ((triple6 triple4) -> rule1) OR ((((triple1) -> rule3) triple4) -> rule1))] Harry is kind.[(triple9)] Harry is not big.[(triple8)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)] @1: Harry is young.[(((triple11 triple10) -> rule2) OR ((triple12 triple10) -> rule1))]