The cow likes the dog. The cow likes the tiger. The dog is young. The dog likes the cow. The dog needs the squirrel. The squirrel is green. The squirrel is young. The tiger eats the squirrel. The tiger is green. The tiger is young. If someone likes the cow and they eat the cow then they are blue. If someone likes the cow then they need the cow. If someone is young then they eat the cow. If someone likes the cow and they are blue then they eat the squirrel. If someone is blue and they need the dog then they eat the dog. If the squirrel needs the cow and the cow likes the squirrel then the cow is big. If someone needs the cow and the cow is green then they are rough. If someone needs the squirrel then they eat the cow.
The dog likes the cow.
@0: The cow likes the dog.[(triple1)] The cow likes the tiger.[(triple2)] The dog is young.[(triple3)] The dog likes the cow.[(triple4)] The dog needs the squirrel.[(triple5)] The squirrel is green.[(triple6)] The squirrel is young.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is green.[(triple9)] The tiger is young.[(triple10)] @1: The dog eats the cow.[(((triple3) -> rule3) OR ((triple5) -> rule8))] The dog needs the cow.[(((triple4) -> rule2))] The squirrel eats the cow.[(((triple7) -> rule3))] The tiger eats the cow.[(((triple10) -> rule3))] @2: The dog is blue.[(((triple4 ((triple3) -> rule3)) -> rule1) OR ((triple4 ((triple5) -> rule8)) -> rule1))] @3: The dog eats the squirrel.[(((triple4 ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((triple4 ((triple4 ((triple5) -> rule8)) -> rule1)) -> rule4))]