The bear chases the tiger. The bear eats the tiger. The bear is blue. The bear is cold. The bear is kind. The bear is young. The bear visits the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is young. The tiger visits the bear. If someone is cold then they visit the tiger.
The tiger is not nice.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is kind.[(triple5)] The bear is young.[(triple6)] The bear visits the tiger.[(triple7 OR ((triple4) -> rule1))] The tiger chases the bear.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is blue.[(triple10)] The tiger is cold.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger is young.[(triple14)] The tiger visits the bear.[(triple15)] @1: The tiger visits the tiger.[(((triple11) -> rule1))]