The cow is blue. The cow likes the dog. The cow likes the rabbit. The cow needs the rabbit. The cow visits the rabbit. The dog is blue. The dog is red. The dog needs the rabbit. The dog visits the cow. The rabbit is green. The rabbit is rough. The rabbit likes the cow. The rabbit needs the dog. The rabbit visits the cow. The rabbit visits the dog. If someone needs the rabbit then the rabbit needs the dog. If someone likes the rabbit and they are cold then they need the rabbit. If someone likes the rabbit then the rabbit is cold. If someone is cold and they visit the rabbit then the rabbit is cold. If someone is blue then they visit the rabbit. If someone is green then they are blue.
The cow visits the dog.
@0: The cow is blue.[(triple1)] The cow likes the dog.[(triple2)] The cow likes the rabbit.[(triple3)] The cow needs the rabbit.[(triple4)] The cow visits the rabbit.[(triple5 OR ((triple1) -> rule5))] The dog is blue.[(triple6)] The dog is red.[(triple7)] The dog needs the rabbit.[(triple8)] The dog visits the cow.[(triple9)] The rabbit is green.[(triple10)] The rabbit is rough.[(triple11)] The rabbit likes the cow.[(triple12)] The rabbit needs the dog.[(triple13 OR ((triple4) -> rule1) OR ((triple8) -> rule1))] The rabbit visits the cow.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The dog visits the rabbit.[(((triple6) -> rule5))] The rabbit is blue.[(((triple10) -> rule6))] The rabbit is cold.[(((triple3) -> rule3))] @2: The rabbit visits the rabbit.[(((((triple10) -> rule6)) -> rule5))]