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