The bear chases the cat. The bear chases the tiger. The bear does not eat the cat. The bear is cold. The bear is green. The cat is cold. The cat visits the bear. The cat does not visit the tiger. The tiger chases the bear. The tiger visits the bear. If the cat eats the bear and the bear eats the cat then the bear visits the cat. If someone chases the tiger then they are green.
The cat is not green.
@0: The bear chases the cat.[(triple1)] The bear chases the tiger.[(triple2)] The bear does not eat the cat.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5 OR ((triple2) -> rule2))] The cat does not visit the tiger.[(triple8)] The cat is cold.[(triple6)] The cat visits the bear.[(triple7)] The tiger chases the bear.[(triple9)] The tiger visits the bear.[(triple10)]