Bob is not nice. Gary is green. Gary is quiet. Harry is furry. Harry is green. Harry is white. Harry is young. Furry, nice things are not quiet. If something is young then it is furry. Nice things are young.
Bob is not nice.
@0: Bob is not nice.[(triple1)] Gary is green.[(triple2)] Gary is quiet.[(triple3)] Harry is furry.[(triple4 OR ((triple7) -> rule2))] Harry is green.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]