The cow is blue. The cow is kind. The cow is red. The cow is not rough. The cow likes the rabbit. The cow does not see the rabbit. The cow visits the rabbit. The rabbit is red. The rabbit is round. The rabbit does not like the cow. The rabbit sees the cow. The rabbit visits the cow. If someone likes the cow and the cow sees the rabbit then the cow visits the rabbit. If someone likes the rabbit and they do not see the rabbit then the rabbit is kind. If someone is rough then they visit the cow. If the cow likes the rabbit and the cow is rough then the rabbit likes the cow. If someone visits the rabbit then the rabbit is blue. If the cow does not visit the rabbit then the rabbit does not visit the cow.
The cow does not visit the cow.
@0: The cow does not see the rabbit.[(triple6)] The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is not rough.[(triple4)] The cow is red.[(triple3)] The cow likes the rabbit.[(triple5)] The cow visits the rabbit.[(triple7)] The rabbit does not like the cow.[(triple10)] The rabbit is red.[(triple8)] The rabbit is round.[(triple9)] The rabbit sees the cow.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The rabbit is blue.[(((triple7) -> rule5))] The rabbit is kind.[(((triple5 triple6) -> rule2))]