The cow eats the dog. The cow sees the rabbit. The dog is green. The dog sees the cow. The dog sees the rabbit. The dog visits the cow. The rabbit does not eat the cow. The rabbit eats the squirrel. The rabbit is cold. The rabbit sees the dog. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel does not eat the cow. The squirrel eats the dog. The squirrel eats the rabbit. If something visits the squirrel then it is cold. If something visits the cow then it eats the cow. If something is cold then it does not see the rabbit. If something sees the dog then the dog eats the squirrel. If something sees the cow then the cow visits the rabbit. If the cow sees the squirrel and the cow does not visit the squirrel then the cow does not visit the dog. If something eats the dog then it sees the cow. If the rabbit does not eat the cow then the rabbit is kind.
The rabbit visits the rabbit.
@0: The cow eats the dog.[(triple1)] The cow sees the rabbit.[(triple2)] The dog is green.[(triple3)] The dog sees the cow.[(triple4)] The dog sees the rabbit.[(triple5)] The dog visits the cow.[(triple6)] The rabbit does not eat the cow.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is cold.[(triple9 OR ((triple12) -> rule1))] The rabbit sees the dog.[(triple10)] The rabbit visits the dog.[(triple11)] The rabbit visits the squirrel.[(triple12)] The squirrel does not eat the cow.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel eats the rabbit.[(triple15)] @1: The cow sees the cow.[(((triple1) -> rule7))] The cow visits the rabbit.[(((triple4) -> rule5) OR ((((triple1) -> rule7)) -> rule5) OR ((((triple14) -> rule7)) -> rule5))] The dog eats the cow.[(((triple6) -> rule2))] The dog eats the squirrel.[(((triple10) -> rule4))] The rabbit does not see the rabbit.[(((triple9) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] The rabbit is kind.[(((triple7) -> rule8))] The squirrel sees the cow.[(((triple14) -> rule7))]