The cat eats the mouse. The cat likes the tiger. The cow eats the tiger. The cow likes the cat. The mouse chases the cat. The mouse chases the cow. The mouse eats the tiger. The mouse is green. The mouse is round. The tiger chases the cat. The tiger eats the cow. The tiger likes the mouse. If someone chases the cow and they chase the mouse then the mouse is blue. If someone eats the cat then they are nice. If the cat eats the mouse then the mouse likes the cow. If someone chases the mouse and they are round then they are big. If someone chases the tiger and the tiger chases the cat then the tiger is round. If someone eats the tiger and they like the cat then the cat likes the cow. If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. If someone eats the cow and they eat the cat then they chase the tiger. If someone eats the tiger and they eat the cat then the tiger eats the cat.
The tiger does not chase the tiger.
@0: The cat eats the mouse.[(triple1)] The cat likes the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow likes the cat.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the cow.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is green.[(triple8)] The mouse is round.[(triple9)] The tiger chases the cat.[(triple10)] The tiger eats the cow.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The cat likes the cow.[(((triple3 triple4) -> rule6))] The mouse likes the cow.[(((triple1) -> rule3))] @2: The cow eats the cat.[(((((triple1) -> rule3) triple6) -> rule7))] @3: The cow is nice.[(((((((triple1) -> rule3) triple6) -> rule7)) -> rule2))] The tiger eats the cat.[(((triple3 ((((triple1) -> rule3) triple6) -> rule7)) -> rule9))] @4: The tiger chases the tiger.[(((triple11 ((triple3 ((((triple1) -> rule3) triple6) -> rule7)) -> rule9)) -> rule8))] The tiger is nice.[(((((triple3 ((((triple1) -> rule3) triple6) -> rule7)) -> rule9)) -> rule2))] @5: The tiger is round.[(((((triple11 ((triple3 ((((triple1) -> rule3) triple6) -> rule7)) -> rule9)) -> rule8) triple10) -> rule5))]