Bob is big. Bob is blue. Bob is not kind. Bob is not round. Harry is big. Harry is rough. Harry is round. If something is big and green then it is not furry. Rough, big things are not furry. If something is round and not kind then it is blue. If Bob is rough and Bob is not round then Bob is not furry. If Bob is rough then Bob is blue. If Bob is rough and Bob is not green then Bob is big.
Harry is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is not kind.[(triple3)] Bob is not round.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Harry is not furry.[(((triple6 triple5) -> rule2))]