The bald eagle chases the cat. The bald eagle sees the tiger. The cat is big. The cat is blue. The cat needs the bald eagle. The cat needs the tiger. The cat sees the squirrel. The cat sees the tiger. The squirrel chases the cat. The squirrel is big. The squirrel needs the cat. The squirrel sees the cat. The tiger chases the bald eagle. The tiger chases the cat. The tiger sees the squirrel. If someone needs the bald eagle then they need the squirrel. If someone sees the squirrel and the squirrel is blue then they are green. If someone chases the bald eagle then they need the bald eagle.
The tiger does not need the squirrel.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle sees the tiger.[(triple2)] The cat is big.[(triple3)] The cat is blue.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the tiger.[(triple6)] The cat sees the squirrel.[(triple7)] The cat sees the tiger.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel is big.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel sees the cat.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger chases the cat.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The cat needs the squirrel.[(((triple5) -> rule1))] The tiger needs the bald eagle.[(((triple13) -> rule3))] @2: The tiger needs the squirrel.[(((((triple13) -> rule3)) -> rule1))]