The bear visits the squirrel. The cat is cold. The cow is big. The squirrel is kind. The squirrel sees the bear. The squirrel does not visit the bear. The squirrel visits the cow. If someone visits the cat then they see the cow. If someone visits the bear then the bear does not visit the squirrel. If someone likes the cow then the cow is blue. If someone visits the cow and they are not kind then they are cold. If someone is kind and nice then they visit the squirrel. If someone likes the bear and they like the squirrel then the bear likes the squirrel. Cold people are big. If someone sees the cow then they like the squirrel.
The cat is cold.
@0: The bear visits the squirrel.[(triple1)] The cat is cold.[(triple2)] The cow is big.[(triple3)] The squirrel does not visit the bear.[(triple6)] The squirrel is kind.[(triple4)] The squirrel sees the bear.[(triple5)] The squirrel visits the cow.[(triple7)] @1: The cat is big.[(((triple2) -> rule7))]