The dog is kind. The dog is rough. The dog likes the rabbit. The dog sees the rabbit. The dog sees the squirrel. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit sees the squirrel. The squirrel eats the dog. The squirrel eats the rabbit. The squirrel is kind. The squirrel sees the dog. If something is cold then it sees the rabbit. If something sees the rabbit and it is rough then it eats the squirrel. If something likes the squirrel then the squirrel is kind. If something eats the dog and it likes the dog then the dog is rough. If something eats the rabbit and the rabbit eats the squirrel then the squirrel is kind. If something sees the rabbit and it eats the rabbit then the rabbit likes the dog. If something eats the squirrel then the squirrel eats the dog. If the dog sees the squirrel and the squirrel is blue then the dog likes the rabbit.
The rabbit does not like the dog.
@0: The dog is kind.[(triple1)] The dog is rough.[(triple2)] The dog likes the rabbit.[(triple3)] The dog sees the rabbit.[(triple4)] The dog sees the squirrel.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel eats the dog.[(triple9 OR ((triple7) -> rule7) OR ((((triple4 triple2) -> rule2)) -> rule7))] The squirrel eats the rabbit.[(triple10)] The squirrel is kind.[(triple11 OR ((triple10 triple7) -> rule5))] The squirrel sees the dog.[(triple12)] @1: The dog eats the squirrel.[(((triple4 triple2) -> rule2))]