The cow likes the mouse. The mouse is cold. The mouse is young. The mouse likes the tiger. The rabbit eats the tiger. The rabbit is cold. The rabbit is round. The rabbit likes the mouse. The tiger eats the cow. The tiger is young. The tiger likes the mouse. The tiger likes the rabbit. If someone is big and they like the mouse then the mouse sees the cow. If someone is green and big then they eat the mouse. If someone sees the tiger and they eat the tiger then they are green. If the mouse likes the tiger then the tiger eats the mouse. If someone eats the cow then they like the rabbit. Young people are big. If someone sees the cow then the cow likes the rabbit. If someone eats the cow then the cow is big.
The cow sees the cow.
@0: The cow likes the mouse.[(triple1)] The mouse is cold.[(triple2)] The mouse is young.[(triple3)] The mouse likes the tiger.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is round.[(triple7)] The rabbit likes the mouse.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is young.[(triple10)] The tiger likes the mouse.[(triple11)] The tiger likes the rabbit.[(triple12 OR ((triple9) -> rule5))] @1: The cow is big.[(((triple9) -> rule8))] The mouse is big.[(((triple3) -> rule6))] The tiger eats the mouse.[(((triple4) -> rule4))] The tiger is big.[(((triple10) -> rule6))] @2: The mouse sees the cow.[(((((triple10) -> rule6) triple11) -> rule1) OR ((((triple9) -> rule8) triple1) -> rule1))] @3: The cow likes the rabbit.[(((((((triple10) -> rule6) triple11) -> rule1)) -> rule7) OR ((((((triple9) -> rule8) triple1) -> rule1)) -> rule7))]