The cat is big. The cat likes the squirrel. The cat likes the tiger. The cat needs the squirrel. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel likes the cat. The tiger eats the squirrel. The tiger likes the cat. The tiger needs the cat. The tiger needs the squirrel. If someone likes the cat then they are round.
The tiger is round.
@0: The cat is big.[(triple1)] The cat likes the squirrel.[(triple2)] The cat likes the tiger.[(triple3)] The cat needs the squirrel.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel likes the cat.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger likes the cat.[(triple10)] The tiger needs the cat.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The squirrel is round.[(((triple8) -> rule1))] The tiger is round.[(((triple10) -> rule1))]