The bear does not like the rabbit. The bear visits the dog. The dog does not like the squirrel. The rabbit is green. The rabbit is rough. The squirrel does not eat the dog. The squirrel does not eat the rabbit. The squirrel is green. The squirrel is red. The squirrel is not round. The squirrel likes the dog. The squirrel visits the dog. If the rabbit is green and the rabbit does not visit the dog then the dog eats the squirrel. If someone visits the dog then the dog is green. If someone eats the bear then the bear does not visit the rabbit. If someone likes the dog then the dog eats the bear. If someone visits the dog then they do not eat the rabbit. If someone visits the squirrel and they eat the squirrel then they are not rough.
The dog does not eat the squirrel.
@0: The bear does not like the rabbit.[(triple1)] The bear visits the dog.[(triple2)] The dog does not like the squirrel.[(triple3)] The rabbit is green.[(triple4)] The rabbit is rough.[(triple5)] The squirrel does not eat the dog.[(triple6)] The squirrel does not eat the rabbit.[(triple7 OR ((triple12) -> rule5))] The squirrel is green.[(triple8)] The squirrel is not round.[(triple10)] The squirrel is red.[(triple9)] The squirrel likes the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The bear does not eat the rabbit.[(((triple2) -> rule5))] The dog eats the bear.[(((triple11) -> rule4))] The dog is green.[(((triple12) -> rule2) OR ((triple2) -> rule2))] @2: The bear does not visit the rabbit.[(((((triple11) -> rule4)) -> rule3))]