The bear is cold. The bear is green. The bear needs the dog. The bear visits the cat. The cat is cold. The cat is nice. The cat is round. The cat needs the mouse. The cat sees the dog. The cat visits the dog. The dog visits the cat. The dog visits the mouse. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. If someone sees the cat then they are round. If someone is round then they need the mouse.
The cat sees the dog.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear needs the dog.[(triple3)] The bear visits the cat.[(triple4)] The cat is cold.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cat needs the mouse.[(triple8 OR ((triple7) -> rule2))] The cat sees the dog.[(triple9)] The cat visits the dog.[(triple10)] The dog visits the cat.[(triple11)] The dog visits the mouse.[(triple12)] The mouse needs the bear.[(triple13)] The mouse sees the bear.[(triple14)] The mouse visits the bear.[(triple15)]