The cow is not big. The cow is kind. The cow needs the tiger. The cow does not see the tiger. The tiger is big. The tiger needs the cow. The tiger sees the cow. If the tiger is big then the tiger is cold. All cold people are kind. If someone visits the tiger then the tiger does not visit the cow. If someone needs the tiger and the tiger sees the cow then the cow does not see the tiger. If someone visits the cow then they do not need the tiger. If someone is cold then they visit the cow.
The cow needs the tiger.
@0: The cow does not see the tiger.[(triple4 OR ((triple3 triple7) -> rule4))] The cow is kind.[(triple2)] The cow is not big.[(triple1)] The cow needs the tiger.[(triple3)] The tiger is big.[(triple5)] The tiger needs the cow.[(triple6)] The tiger sees the cow.[(triple7)] @1: The tiger is cold.[(((triple5) -> rule1))] @2: The tiger is kind.[(((((triple5) -> rule1)) -> rule2))] The tiger visits the cow.[(((((triple5) -> rule1)) -> rule6))] @3: The tiger does not need the tiger.[(((((((triple5) -> rule1)) -> rule6)) -> rule5))]