The cat is big. The cat likes the cow. The cow is kind. The cow likes the tiger. The tiger chases the cat. The tiger is big. The tiger visits the cat. If something likes the cow and the cow visits the cat then the cat likes the cow.
The cat likes the cow.
@0: The cat is big.[(triple1)] The cat likes the cow.[(triple2)] The cow is kind.[(triple3)] The cow likes the tiger.[(triple4)] The tiger chases the cat.[(triple5)] The tiger is big.[(triple6)] The tiger visits the cat.[(triple7)]