The cow eats the tiger. The lion does not need the cow. The tiger is young. If something sees the lion then it needs the cow. If something eats the lion then the lion is kind. If something eats the cow and the cow sees the lion then the cow is not kind. If something needs the cow then the cow eats the lion. If something eats the tiger then the tiger sees the lion. If something needs the cow then it does not see the cow. If something eats the lion then the lion is red. If the lion is not red and the lion does not eat the cow then the lion sees the cow.
The tiger is not round.
@0: The cow eats the tiger.[(triple1)] The lion does not need the cow.[(triple2)] The tiger is young.[(triple3)] @1: The tiger sees the lion.[(((triple1) -> rule5))] @2: The tiger needs the cow.[(((((triple1) -> rule5)) -> rule1))] @3: The cow eats the lion.[(((((((triple1) -> rule5)) -> rule1)) -> rule4))] The tiger does not see the cow.[(((((((triple1) -> rule5)) -> rule1)) -> rule6))] @4: The lion is kind.[(((((((((triple1) -> rule5)) -> rule1)) -> rule4)) -> rule2))] The lion is red.[(((((((((triple1) -> rule5)) -> rule1)) -> rule4)) -> rule7))]