The cow does not eat the tiger. The cow is blue. The cow is cold. The cow sees the tiger. The squirrel eats the cow. The squirrel does not eat the tiger. The squirrel is cold. The tiger eats the squirrel. The tiger is round. The tiger sees the cow. The tiger sees the squirrel. The tiger visits the squirrel. If someone eats the cow then they are not round.
The squirrel is not cold.
@0: The cow does not eat the tiger.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow sees the tiger.[(triple4)] The squirrel does not eat the tiger.[(triple6)] The squirrel eats the cow.[(triple5)] The squirrel is cold.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is round.[(triple9)] The tiger sees the cow.[(triple10)] The tiger sees the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The squirrel is not round.[(((triple5) -> rule1))]