The cow chases the rabbit. The cow chases the tiger. The cow does not eat the tiger. The cow is green. The cow is rough. The cow likes the rabbit. The cow likes the tiger. The rabbit eats the cow. The tiger does not chase the cow. The tiger eats the cow. The tiger eats the rabbit. The tiger is rough. If the tiger chases the rabbit and the rabbit is green then the tiger does not chase the cow. If something likes the tiger and it eats the cow then the tiger chases the cow. If something is young then it chases the tiger. If the tiger does not chase the rabbit then the tiger likes the rabbit. If something likes the tiger then the tiger is blue. All green things are blue. If something likes the tiger and it is young then the tiger likes the cow. If something is blue then it is young.
The tiger is not blue.
@0: The cow chases the rabbit.[(triple1)] The cow chases the tiger.[(triple2 OR ((((((triple4) -> rule6)) -> rule8)) -> rule3))] The cow does not eat the tiger.[(triple3)] The cow is green.[(triple4)] The cow is rough.[(triple5)] The cow likes the rabbit.[(triple6)] The cow likes the tiger.[(triple7)] The rabbit eats the cow.[(triple8)] The tiger does not chase the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger eats the rabbit.[(triple11)] The tiger is rough.[(triple12)] @1: The cow is blue.[(((triple4) -> rule6))] The tiger is blue.[(((triple7) -> rule5))] @2: The cow is young.[(((((triple4) -> rule6)) -> rule8))] The tiger is young.[(((((triple7) -> rule5)) -> rule8))] @3: The tiger chases the tiger.[(((((((triple7) -> rule5)) -> rule8)) -> rule3))] The tiger likes the cow.[(((triple7 ((((triple4) -> rule6)) -> rule8)) -> rule7))]