The cow needs the rabbit. The rabbit is big. The rabbit is blue. The rabbit is red. The rabbit likes the cow. The rabbit needs the cow. The rabbit sees the cow. If something is red then it sees the rabbit. If something likes the cow and it likes the rabbit then the cow sees the rabbit.
The cow is not red.
@0: The cow needs the rabbit.[(triple1)] The rabbit is big.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is red.[(triple4)] The rabbit likes the cow.[(triple5)] The rabbit needs the cow.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The rabbit sees the rabbit.[(((triple4) -> rule1))]