The cow chases the tiger. The cow is not blue. The cow is round. The cow likes the mouse. The cow visits the mouse. The mouse is blue. The mouse is round. The mouse likes the cow. The mouse likes the tiger. The tiger chases the cow. The tiger chases the mouse. The tiger is blue. If someone is big then they like the tiger. If someone likes the cow and they visit the mouse then the mouse likes the cow. If someone likes the tiger then they chase the cow. If the mouse chases the cow then the cow is big. If someone chases the cow and the cow visits the tiger then they do not chase the tiger. If someone likes the tiger and they do not visit the mouse then they are not cold. If someone likes the cow and they do not chase the tiger then the cow does not chase the mouse. If the cow is cold and the cow is green then the cow does not chase the mouse.
The tiger is cold.
@0: The cow chases the tiger.[(triple1)] The cow is not blue.[(triple2)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The mouse is blue.[(triple6)] The mouse is round.[(triple7)] The mouse likes the cow.[(triple8)] The mouse likes the tiger.[(triple9)] The tiger chases the cow.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is blue.[(triple12)] @1: The mouse chases the cow.[(((triple9) -> rule3))] @2: The cow is big.[(((((triple9) -> rule3)) -> rule4))] @3: The cow likes the tiger.[(((((((triple9) -> rule3)) -> rule4)) -> rule1))] @4: The cow chases the cow.[(((((((((triple9) -> rule3)) -> rule4)) -> rule1)) -> rule3))]