The bald eagle is round. The bald eagle is young. The bald eagle likes the squirrel. The bald eagle visits the cat. The cat chases the bald eagle. The cat is nice. The cat likes the tiger. The cat visits the tiger. The squirrel is big. The squirrel is nice. The squirrel is young. The squirrel does not like the tiger. The squirrel visits the tiger. The tiger is nice. The tiger likes the squirrel. The tiger visits the squirrel. If someone visits the tiger then they are cold. If someone likes the tiger and they are big then they do not visit the tiger.
The cat is not nice.
@0: The bald eagle is round.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is nice.[(triple6)] The cat likes the tiger.[(triple7)] The cat visits the tiger.[(triple8)] The squirrel does not like the tiger.[(triple12)] The squirrel is big.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is young.[(triple11)] The squirrel visits the tiger.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the squirrel.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cat is cold.[(((triple8) -> rule1))] The squirrel is cold.[(((triple13) -> rule1))]