Bob is blue. Bob is not furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is young. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is young. If something is kind then it is round. If Harry is not round then Harry is green. If something is kind and not green then it is young.
Harry is young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is not furry.[(triple2)] Bob is quiet.[(triple5)] Bob is round.[(triple6 OR ((triple4) -> rule1))] Bob is young.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] Harry is round.[(triple13 OR ((triple11) -> rule1))] Harry is young.[(triple14)]