The cow eats the tiger. The cow is cold. The cow likes the mouse. The cow likes the tiger. The mouse eats the cow. The mouse is blue. The mouse is round. The mouse is young. The mouse likes the tiger. The mouse needs the cow. The mouse needs the tiger. The tiger eats the cow. The tiger is blue. The tiger likes the cow. The tiger needs the cow. If someone is blue then they like the tiger. If someone eats the mouse then they are young. If someone likes the tiger then they eat the mouse.
The tiger is young.
@0: The cow eats the tiger.[(triple1)] The cow is cold.[(triple2)] The cow likes the mouse.[(triple3)] The cow likes the tiger.[(triple4)] The mouse eats the cow.[(triple5)] The mouse is blue.[(triple6)] The mouse is round.[(triple7)] The mouse is young.[(triple8 OR ((((triple9) -> rule3)) -> rule2) OR ((((((triple6) -> rule1)) -> rule3)) -> rule2))] The mouse likes the tiger.[(triple9 OR ((triple6) -> rule1))] The mouse needs the cow.[(triple10)] The mouse needs the tiger.[(triple11)] The tiger eats the cow.[(triple12)] The tiger is blue.[(triple13)] The tiger likes the cow.[(triple14)] The tiger needs the cow.[(triple15)] @1: The cow eats the mouse.[(((triple4) -> rule3))] The mouse eats the mouse.[(((triple9) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] The tiger likes the tiger.[(((triple13) -> rule1))] @2: The cow is young.[(((((triple4) -> rule3)) -> rule2))] The tiger eats the mouse.[(((((triple13) -> rule1)) -> rule3))] @3: The tiger is young.[(((((((triple13) -> rule1)) -> rule3)) -> rule2))]