The cow is cold. The dog does not visit the cow. The lion is nice. The mouse visits the dog. If the mouse eats the cow then the cow visits the dog. Round things are kind. If something sees the dog then it eats the mouse. If something eats the cow then the cow is not nice. If the mouse visits the dog then the dog eats the lion. If something eats the lion then the lion is round. If something eats the lion and the lion eats the cow then the cow eats the dog. If the lion is nice and the lion is not round then the lion is cold.
The dog eats the lion.
@0: The cow is cold.[(triple1)] The dog does not visit the cow.[(triple2)] The lion is nice.[(triple3)] The mouse visits the dog.[(triple4)] @1: The dog eats the lion.[(((triple4) -> rule5))] @2: The lion is round.[(((((triple4) -> rule5)) -> rule6))] @3: The lion is kind.[(((((((triple4) -> rule5)) -> rule6)) -> rule2))]