Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is young. Gary is furry. Gary is nice. Gary is rough. Gary is round. Gary is young. If something is nice and round then it is quiet. If something is green and rough then it is young.
Gary is not furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple3 triple6) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple2 triple5) -> rule2))] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Gary is quiet.[(((triple9 triple11) -> rule1))]