The bear is round. The bear needs the cow. The bear visits the cat. The cat is big. The cat is not blue. The cat is cold. The cat is round. The cat does not visit the cow. The cow is big. The cow is kind. The cow is not round. The tiger needs the bear. If something likes the tiger then it is cold. If something needs the bear then the bear does not visit the tiger. If the cat visits the tiger and the cat is not round then the cat does not visit the bear.
The tiger is round.
@0: The bear is round.[(triple1)] The bear needs the cow.[(triple2)] The bear visits the cat.[(triple3)] The cat does not visit the cow.[(triple8)] The cat is big.[(triple4)] The cat is cold.[(triple6)] The cat is not blue.[(triple5)] The cat is round.[(triple7)] The cow is big.[(triple9)] The cow is kind.[(triple10)] The cow is not round.[(triple11)] The tiger needs the bear.[(triple12)] @1: The bear does not visit the tiger.[(((triple12) -> rule2))]