The cow eats the tiger. The cow is blue. The cow needs the tiger. The tiger eats the cow. The tiger is cold. The tiger does not like the cow. The tiger needs the cow. If the cow needs the tiger then the cow is rough. If someone is nice then they do not need the tiger. If someone needs the tiger and the tiger is big then they eat the tiger. If the cow is not blue and the cow does not need the tiger then the tiger is big. If someone is big then they need the cow. If someone eats the tiger then the tiger does not like the cow. If someone eats the tiger and the tiger eats the cow then they like the tiger. If someone is nice then they like the tiger.
The tiger needs the cow.
@0: The cow eats the tiger.[(triple1)] The cow is blue.[(triple2)] The cow needs the tiger.[(triple3)] The tiger does not like the cow.[(triple6 OR ((triple1) -> rule6))] The tiger eats the cow.[(triple4)] The tiger is cold.[(triple5)] The tiger needs the cow.[(triple7)] @1: The cow is rough.[(((triple3) -> rule1))] The cow likes the tiger.[(((triple1 triple4) -> rule7))]