The bear is red. The bear is round. The bear sees the cow. The bear visits the cow. The bear visits the tiger. The cow is young. The cow likes the bear. The cow sees the bear. The cow visits the tiger. The tiger is cold. The tiger is red. The tiger likes the bear. The tiger likes the cow. The tiger sees the bear. The tiger sees the cow. The tiger visits the cow. If someone is red then they visit the bear. If someone likes the tiger and they visit the tiger then the tiger visits the bear.
The cow does not visit the bear.
@0: The bear is red.[(triple1)] The bear is round.[(triple2)] The bear sees the cow.[(triple3)] The bear visits the cow.[(triple4)] The bear visits the tiger.[(triple5)] The cow is young.[(triple6)] The cow likes the bear.[(triple7)] The cow sees the bear.[(triple8)] The cow visits the tiger.[(triple9)] The tiger is cold.[(triple10)] The tiger is red.[(triple11)] The tiger likes the bear.[(triple12)] The tiger likes the cow.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the cow.[(triple15)] The tiger visits the cow.[(triple16)] @1: The bear visits the bear.[(((triple1) -> rule1))] The tiger visits the bear.[(((triple11) -> rule1))]