The cat is big. The cow sees the cat. The dog needs the cat. The tiger is young. If something is young then it likes the dog.
The cat does not like the dog.
@0: The cat is big.[(triple1)] The cow sees the cat.[(triple2)] The dog needs the cat.[(triple3)] The tiger is young.[(triple4)] @1: The tiger likes the dog.[(((triple4) -> rule1))]