The cat likes the cow. The cow needs the cat. The lion likes the cow. If someone needs the cat then the cat is young. If someone likes the cow then the cow visits the cat. If someone likes the cow then the cow is kind. If someone is young and they visit the cow then they visit the cat. If the lion likes the cow then the lion is big. If someone likes the lion then they are red.
The cat likes the cow.
@0: The cat likes the cow.[(triple1)] The cow needs the cat.[(triple2)] The lion likes the cow.[(triple3)] @1: The cat is young.[(((triple2) -> rule1))] The cow is kind.[(((triple1) -> rule3) OR ((triple3) -> rule3))] The cow visits the cat.[(((triple1) -> rule2) OR ((triple3) -> rule2))] The lion is big.[(((triple3) -> rule5))]