The cat is big. The cow does not eat the cat. The rabbit does not need the cat. The tiger visits the cat. If the cat does not need the rabbit then the rabbit is blue. If something needs the cat and the cat is blue then the cat eats the rabbit. If something is young then it does not visit the tiger.
The rabbit is not blue.
@0: The cat is big.[(triple1)] The cow does not eat the cat.[(triple2)] The rabbit does not need the cat.[(triple3)] The tiger visits the cat.[(triple4)]