Anne is quiet. Anne is smart. Bob is blue. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Bob is young. Gary is round. Gary is smart. Gary is not young. Quiet, young things are smart. If something is round and not quiet then it is blue. Blue, young things are green.
Bob is green.
@0: Anne is quiet.[(triple1)] Anne is smart.[(triple2)] Bob is blue.[(triple3)] Bob is green.[(triple4 OR ((triple3 triple9) -> rule3))] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Bob is smart.[(triple8 OR ((triple5 triple9) -> rule1))] Bob is young.[(triple9)] Gary is not young.[(triple12)] Gary is round.[(triple10)] Gary is smart.[(triple11)]