The cow chases the tiger. The cow eats the mouse. The cow is cold. The cow is nice. The cow is red. The cow likes the lion. The lion eats the mouse. The lion is green. The mouse is green. The tiger chases the lion. The tiger is big. The tiger likes the lion. If someone likes the tiger then the tiger likes the lion. If someone is nice then they like the tiger. If someone likes the lion and the lion eats the mouse then the lion likes the cow. If someone chases the mouse and the mouse eats the tiger then the tiger eats the mouse. If someone eats the cow and they like the cow then the cow likes the mouse. If the lion is green then the lion is big. If someone chases the mouse then they like the cow. If someone likes the cow then the cow likes the mouse.
The cow likes the tiger.
@0: The cow chases the tiger.[(triple1)] The cow eats the mouse.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow likes the lion.[(triple6)] The lion eats the mouse.[(triple7)] The lion is green.[(triple8)] The mouse is green.[(triple9)] The tiger chases the lion.[(triple10)] The tiger is big.[(triple11)] The tiger likes the lion.[(triple12 OR ((((triple4) -> rule2)) -> rule1))] @1: The cow likes the tiger.[(((triple4) -> rule2))] The lion is big.[(((triple8) -> rule6))] The lion likes the cow.[(((triple12 triple7) -> rule3) OR ((triple6 triple7) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) triple7) -> rule3))] @2: The cow likes the mouse.[(((((triple12 triple7) -> rule3)) -> rule8) OR ((((triple6 triple7) -> rule3)) -> rule8) OR ((((((((triple4) -> rule2)) -> rule1) triple7) -> rule3)) -> rule8))]