The bear needs the rabbit. The dog needs the rabbit. The rabbit is rough. The rabbit needs the bear. The tiger is rough. The tiger is round. The tiger sees the dog. If something sees the dog and the dog needs the rabbit then the dog is green. If the bear needs the dog and the bear sees the dog then the dog needs the tiger. If the dog needs the rabbit and the dog sees the tiger then the tiger is rough. All green things are round. If something needs the dog and the dog chases the bear then the dog is green. All nice, round things are rough.
The bear sees the dog.
@0: The bear needs the rabbit.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit is rough.[(triple3)] The rabbit needs the bear.[(triple4)] The tiger is rough.[(triple5)] The tiger is round.[(triple6)] The tiger sees the dog.[(triple7)] @1: The dog is green.[(((triple7 triple2) -> rule1))] @2: The dog is round.[(((((triple7 triple2) -> rule1)) -> rule4))]