The cow sees the rabbit. The rabbit is red. If something visits the rabbit then the rabbit visits the cow. If something likes the rabbit and it visits the cow then the cow sees the rabbit. If something is red then it visits the cow. If something visits the cow then the cow sees the rabbit. If something is cold and it visits the cow then it likes the rabbit. If something likes the cow then the cow is blue. If something likes the rabbit then the rabbit likes the cow. If something likes the rabbit and it visits the rabbit then it sees the cow.
The rabbit visits the cow.
@0: The cow sees the rabbit.[(triple1 OR ((((triple2) -> rule3)) -> rule4))] The rabbit is red.[(triple2)] @1: The rabbit visits the cow.[(((triple2) -> rule3))]