The bear chases the dog. The bear is cold. The bear needs the dog. The bear visits the cow. The bear visits the dog. The cow chases the dog. The cow is big. The cow is cold. The cow is nice. The cow is rough. The cow visits the dog. The dog chases the bear. The dog is big. The dog needs the bear. The dog needs the cow. The dog visits the bear. If someone chases the cow then they are blue. If someone visits the dog then the dog chases the cow. If someone visits the dog and they need the cow then the dog chases the bear.
The bear is not blue.
@0: The bear chases the dog.[(triple1)] The bear is cold.[(triple2)] The bear needs the dog.[(triple3)] The bear visits the cow.[(triple4)] The bear visits the dog.[(triple5)] The cow chases the dog.[(triple6)] The cow is big.[(triple7)] The cow is cold.[(triple8)] The cow is nice.[(triple9)] The cow is rough.[(triple10)] The cow visits the dog.[(triple11)] The dog chases the bear.[(triple12)] The dog is big.[(triple13)] The dog needs the bear.[(triple14)] The dog needs the cow.[(triple15)] The dog visits the bear.[(triple16)] @1: The dog chases the cow.[(((triple11) -> rule2) OR ((triple5) -> rule2))] @2: The dog is blue.[(((((triple11) -> rule2)) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]