The bear chases the tiger. The bear eats the tiger. The bear is green. The bear is kind. The bear is red. The bear visits the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is blue. The tiger visits the bear. If something is red then it visits the bear. If the tiger eats the bear and the tiger is green then the bear is kind. If the bear visits the tiger then the bear eats the tiger.
The tiger does not visit the bear.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2 OR ((triple6) -> rule3))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear visits the tiger.[(triple6)] The tiger chases the bear.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear visits the bear.[(((triple5) -> rule1))]