The cat is young. The cow likes the lion. The lion is blue. The tiger is red. If something is nice and it needs the lion then the lion is young. If something is young then it likes the cat.
The cat is young.
@0: The cat is young.[(triple1)] The cow likes the lion.[(triple2)] The lion is blue.[(triple3)] The tiger is red.[(triple4)] @1: The cat likes the cat.[(((triple1) -> rule2))]