The bear chases the cat. The bear does not eat the cat. The bear is not blue. The bear is cold. The bear is red. The bear is rough. The bear is round. The bear does not need the cat. The cat chases the bear. The cat eats the bear. The cat is rough. The cat is round. If someone eats the bear and the bear is blue then the bear needs the cat. If someone is blue and they chase the bear then they do not need the cat. If someone eats the bear then they need the cat. If the bear eats the cat and the bear is not rough then the bear chases the cat. If someone is cold and not rough then they eat the bear. If someone eats the cat and the cat needs the bear then the bear is blue.
The bear does not eat the bear.
@0: The bear chases the cat.[(triple1)] The bear does not eat the cat.[(triple2)] The bear does not need the cat.[(triple8)] The bear is cold.[(triple4)] The bear is not blue.[(triple3)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear is round.[(triple7)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10)] The cat is rough.[(triple11)] The cat is round.[(triple12)] @1: The cat needs the cat.[(((triple10) -> rule3))]