The cat is cold. The cow chases the lion. The lion eats the cow. If the lion is cold and the lion eats the cow then the cow eats the lion. If the lion eats the cow and the lion chases the cat then the cow is red. If the cat is cold then the cat likes the cow. If someone is young and they chase the cat then they are kind. If the cat chases the lion and the lion is young then the cat is red. If someone chases the lion then the lion chases the cat. If someone is red then they chase the cow. If the cow chases the cat then the cow is kind.
The cow is not kind.
@0: The cat is cold.[(triple1)] The cow chases the lion.[(triple2)] The lion eats the cow.[(triple3)] @1: The cat likes the cow.[(((triple1) -> rule3))] The lion chases the cat.[(((triple2) -> rule6))] @2: The cow is red.[(((triple3 ((triple2) -> rule6)) -> rule2))] @3: The cow chases the cow.[(((((triple3 ((triple2) -> rule6)) -> rule2)) -> rule7))]