The bear eats the tiger. The bear needs the dog. The cat eats the dog. The dog is round. The tiger eats the bear. The tiger is cold. The tiger needs the bear. If someone needs the dog then they are green. If someone is round then they need the dog. If someone chases the dog then the dog needs the cat. If someone chases the tiger then the tiger is rough. If someone needs the tiger and the tiger chases the dog then the tiger chases the bear. If someone chases the cat then the cat is green. If someone is green then they eat the cat. If someone is rough and they need the tiger then the tiger chases the bear.
The bear is green.
@0: The bear eats the tiger.[(triple1)] The bear needs the dog.[(triple2)] The cat eats the dog.[(triple3)] The dog is round.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is cold.[(triple6)] The tiger needs the bear.[(triple7)] @1: The bear is green.[(((triple2) -> rule1))] The dog needs the dog.[(((triple4) -> rule2))] @2: The bear eats the cat.[(((((triple2) -> rule1)) -> rule7))] The dog is green.[(((((triple4) -> rule2)) -> rule1))] @3: The dog eats the cat.[(((((((triple4) -> rule2)) -> rule1)) -> rule7))]