The cow sees the rabbit. The mouse likes the rabbit. The rabbit sees the cow. If someone sees the rabbit then the rabbit is rough. If someone sees the cow and they are kind then they see the rabbit. If someone is rough then they like the cow. If someone needs the mouse then the mouse needs the cow. All nice people are red. If someone likes the cow then they see the mouse.
The rabbit is not rough.
@0: The cow sees the rabbit.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit sees the cow.[(triple3)] @1: The rabbit is rough.[(((triple1) -> rule1))] @2: The rabbit likes the cow.[(((((triple1) -> rule1)) -> rule3))] @3: The rabbit sees the mouse.[(((((((triple1) -> rule1)) -> rule3)) -> rule6))]