The cow is kind. The dog needs the cow. The mouse needs the rabbit. The rabbit sees the cow. If someone visits the dog then they visit the cow. If someone needs the cow then they are cold. If someone visits the mouse and the mouse visits the dog then the dog visits the mouse. If someone needs the rabbit then the rabbit does not see the mouse. If the rabbit visits the cow then the rabbit is cold. If someone needs the dog then the dog is not young. If the mouse sees the dog then the dog needs the rabbit. If someone is green and they do not need the rabbit then the rabbit is not green.
The cow is cold.
@0: The cow is kind.[(triple1)] The dog needs the cow.[(triple2)] The mouse needs the rabbit.[(triple3)] The rabbit sees the cow.[(triple4)] @1: The dog is cold.[(((triple2) -> rule2))] The rabbit does not see the mouse.[(((triple3) -> rule4))]