The cat sees the lion. The cow eats the cat. The lion is big. If someone likes the cat and the cat is kind then the cat likes the lion. If someone likes the cat and the cat eats the lion then the lion likes the cow. If someone is blue and they like the lion then the lion eats the cow. If someone eats the cat then the cat likes the cow. If someone is young and they eat the cat then they like the cat. If someone likes the cow then the cow likes the cat. If someone is kind and they like the lion then the lion likes the cat. If someone sees the lion and they are blue then they see the cat.
The cow likes the cat.
@0: The cat sees the lion.[(triple1)] The cow eats the cat.[(triple2)] The lion is big.[(triple3)] @1: The cat likes the cow.[(((triple2) -> rule4))] @2: The cow likes the cat.[(((((triple2) -> rule4)) -> rule6))]