The cow is blue. The cow is cold. The cow is round. The dog chases the cow. The mouse chases the tiger. The mouse is round. The tiger chases the cow. The tiger chases the dog. The tiger eats the cow. The tiger is blue. The tiger is cold. The tiger is rough. The tiger is young. The tiger likes the cow. The tiger likes the dog. If someone likes the tiger then the tiger likes the dog. If someone chases the dog and the dog is young then they like the mouse. If the dog likes the cow and the cow likes the tiger then the cow is rough. If someone is young and they chase the mouse then the mouse is blue. If someone is young then they chase the mouse. If someone chases the tiger then the tiger chases the mouse. If someone chases the tiger and they are rough then they like the dog. If someone likes the tiger and the tiger likes the mouse then they are cold.
The dog eats the dog.
@0: The cow is blue.[(triple1)] The cow is cold.[(triple2)] The cow is round.[(triple3)] The dog chases the cow.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse is round.[(triple6)] The tiger chases the cow.[(triple7)] The tiger chases the dog.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is rough.[(triple12)] The tiger is young.[(triple13)] The tiger likes the cow.[(triple14)] The tiger likes the dog.[(triple15)] @1: The tiger chases the mouse.[(((triple13) -> rule5) OR ((triple5) -> rule6))] @2: The mouse is blue.[(((triple13 ((triple13) -> rule5)) -> rule4) OR ((triple13 ((triple5) -> rule6)) -> rule4))]