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