The bear is blue. The bear likes the tiger. The bear sees the cow. The bear visits the cow. The bear visits the tiger. The cow is round. The cow sees the bear. The cow sees the tiger. The cow visits the tiger. The squirrel likes the tiger. The squirrel visits the bear. The squirrel visits the tiger. The tiger is blue. The tiger likes the cow. The tiger visits the bear. If someone likes the cow and they visit the tiger then they see the tiger. If someone visits the tiger then the tiger likes the squirrel. If someone visits the bear and they like the squirrel then the squirrel sees the cow.
The tiger likes the squirrel.
@0: The bear is blue.[(triple1)] The bear likes the tiger.[(triple2)] The bear sees the cow.[(triple3)] The bear visits the cow.[(triple4)] The bear visits the tiger.[(triple5)] The cow is round.[(triple6)] The cow sees the bear.[(triple7)] The cow sees the tiger.[(triple8)] The cow visits the tiger.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger is blue.[(triple13)] The tiger likes the cow.[(triple14)] The tiger visits the bear.[(triple15)] @1: The tiger likes the squirrel.[(((triple12) -> rule2) OR ((triple5) -> rule2) OR ((triple9) -> rule2))] @2: The squirrel sees the cow.[(((triple15 ((triple12) -> rule2)) -> rule3) OR ((triple15 ((triple5) -> rule2)) -> rule3) OR ((triple15 ((triple9) -> rule2)) -> rule3))]