The cow eats the rabbit. The cow needs the squirrel. The rabbit eats the cow. The rabbit eats the tiger. The rabbit is kind. The squirrel eats the rabbit. The squirrel eats the tiger. The squirrel is cold. The squirrel is red. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel visits the rabbit. The tiger eats the squirrel. The tiger is red. The tiger needs the squirrel. The tiger visits the rabbit. If something eats the rabbit then it is nice. If something visits the rabbit then the rabbit needs the squirrel. If something is blue then it eats the squirrel.
The rabbit is not kind.
@0: The cow eats the rabbit.[(triple1)] The cow needs the squirrel.[(triple2)] The rabbit eats the cow.[(triple3)] The rabbit eats the tiger.[(triple4)] The rabbit is kind.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the rabbit.[(triple10)] The squirrel needs the tiger.[(triple11)] The squirrel visits the rabbit.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is red.[(triple14)] The tiger needs the squirrel.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The cow is nice.[(((triple1) -> rule1))] The rabbit needs the squirrel.[(((triple12) -> rule2) OR ((triple16) -> rule2))] The squirrel is nice.[(((triple6) -> rule1))]