The bear does not like the dog. The bear does not visit the squirrel. The dog chases the squirrel. The dog is green. The dog is kind. The dog is red. The dog likes the bear. The dog visits the bear. The squirrel chases the bear. The squirrel chases the dog. The squirrel is red. The squirrel is young. The squirrel does not like the bear. The squirrel likes the dog. The squirrel visits the bear. The squirrel visits the dog. If someone is green then they like the dog. If the dog chases the squirrel and the squirrel likes the bear then the squirrel is round. If someone likes the squirrel then they visit the dog. If someone visits the bear then they like the squirrel. If the bear visits the squirrel and the bear likes the dog then the bear chases the squirrel. If someone is kind and they like the bear then they visit the bear. If someone visits the squirrel then the squirrel likes the dog. If the squirrel visits the dog and the squirrel is not young then the dog is round.
The bear does not visit the dog.
@0: The bear does not like the dog.[(triple1)] The bear does not visit the squirrel.[(triple2)] The dog chases the squirrel.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog likes the bear.[(triple7)] The dog visits the bear.[(triple8 OR ((triple5 triple7) -> rule6))] The squirrel chases the bear.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel does not like the bear.[(triple13)] The squirrel is red.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the dog.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the dog.[(triple16 OR ((((triple15) -> rule4)) -> rule3))] @1: The dog likes the dog.[(((triple4) -> rule1))] The dog likes the squirrel.[(((triple8) -> rule4) OR ((((triple5 triple7) -> rule6)) -> rule4))] The squirrel likes the squirrel.[(((triple15) -> rule4))] @2: The dog visits the dog.[(((((triple8) -> rule4)) -> rule3) OR ((((((triple5 triple7) -> rule6)) -> rule4)) -> rule3))]