The cow eats the tiger. The cow is nice. The cow is young. The cow likes the tiger. The cow sees the tiger. The tiger eats the cow. The tiger is cold. The tiger is green. The tiger is nice. The tiger is young. The tiger likes the cow. The tiger sees the cow. If someone eats the cow then the cow eats the tiger. If someone likes the tiger then they are cold. If someone is rough and nice then they see the tiger. If someone likes the cow and they see the cow then the cow eats the tiger. If someone eats the tiger and the tiger eats the cow then the cow sees the tiger. If someone sees the tiger and they see the cow then they eat the cow.
The tiger is cold.
@0: The cow eats the tiger.[(triple1 OR ((triple6) -> rule1) OR ((triple11 triple12) -> rule4))] The cow is nice.[(triple2)] The cow is young.[(triple3)] The cow likes the tiger.[(triple4)] The cow sees the tiger.[(triple5 OR ((triple1 triple6) -> rule5) OR ((((triple6) -> rule1) triple6) -> rule5) OR ((((triple11 triple12) -> rule4) triple6) -> rule5))] The tiger eats the cow.[(triple6)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] The tiger is young.[(triple10)] The tiger likes the cow.[(triple11)] The tiger sees the cow.[(triple12)] @1: The cow is cold.[(((triple4) -> rule2))]