The cat sees the rabbit. The cow is kind. The rabbit is kind. If someone sees the rabbit and the rabbit is kind then they need the cat. If someone is blue then they see the cat. If the rabbit is rough and the rabbit needs the cat then the cat needs the cow. If the cow likes the rabbit and the cow is cold then the cow sees the rabbit. If someone likes the cat then they see the cow. If someone likes the rabbit and the rabbit is blue then they need the cat.
The rabbit is not kind.
@0: The cat sees the rabbit.[(triple1)] The cow is kind.[(triple2)] The rabbit is kind.[(triple3)] @1: The cat needs the cat.[(((triple1 triple3) -> rule1))]