The cow is kind. The cow needs the tiger. The cow visits the tiger. The tiger eats the cow. The tiger is round. The tiger is young. The tiger visits the cow. If something visits the cow then the cow needs the tiger. If something is round then it is cold. If something visits the cow and the cow visits the tiger then the cow needs the tiger. If the tiger eats the cow then the tiger is cold. Young things are cold. If something eats the cow and it eats the tiger then the tiger eats the cow.
The tiger needs the cow.
@0: The cow is kind.[(triple1)] The cow needs the tiger.[(triple2 OR ((triple7) -> rule1) OR ((triple7 triple3) -> rule3))] The cow visits the tiger.[(triple3)] The tiger eats the cow.[(triple4)] The tiger is round.[(triple5)] The tiger is young.[(triple6)] The tiger visits the cow.[(triple7)] @1: The tiger is cold.[(((triple4) -> rule4) OR ((triple5) -> rule2) OR ((triple6) -> rule5))]