The bear chases the dog. The bear chases the rabbit. The bear is blue. The bear is rough. The bear sees the dog. The dog is kind. The dog visits the bear. The dog visits the rabbit. The rabbit chases the bear. The rabbit chases the dog. The rabbit is big. The rabbit is kind. The rabbit sees the bear. The rabbit visits the bear. The rabbit visits the dog. If someone sees the dog then the dog is rough. If someone is rough and they see the bear then they visit the rabbit. If someone visits the dog and they are kind then they are big.
The bear is not big.
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is blue.[(triple3)] The bear is rough.[(triple4)] The bear sees the dog.[(triple5)] The dog is kind.[(triple6)] The dog visits the bear.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit chases the dog.[(triple10)] The rabbit is big.[(triple11 OR ((triple15 triple12) -> rule3))] The rabbit is kind.[(triple12)] The rabbit sees the bear.[(triple13)] The rabbit visits the bear.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The dog is rough.[(((triple5) -> rule1))]