The bear is not cold. The bear is not rough. The bear needs the dog. The bear does not see the dog. The bear visits the cow. The cow is not cold. The cow needs the tiger. The cow sees the tiger. The dog is nice. The dog does not visit the tiger. The tiger is rough. The tiger visits the dog. If something sees the bear and the bear does not need the cow then the bear visits the cow. All rough things are round. If something sees the bear and the bear sees the cow then the cow visits the tiger. If something needs the cow then it does not visit the cow. If something sees the tiger and the tiger sees the dog then the tiger is cold. If something sees the tiger then the tiger visits the bear. If the dog does not need the tiger then the tiger visits the bear. If something visits the bear then it sees the dog.
The bear is not round.
@0: The bear does not see the dog.[(triple4)] The bear is not cold.[(triple1)] The bear is not rough.[(triple2)] The bear needs the dog.[(triple3)] The bear visits the cow.[(triple5)] The cow is not cold.[(triple6)] The cow needs the tiger.[(triple7)] The cow sees the tiger.[(triple8)] The dog does not visit the tiger.[(triple10)] The dog is nice.[(triple9)] The tiger is rough.[(triple11)] The tiger visits the dog.[(triple12)] @1: The tiger is round.[(((triple11) -> rule2))] The tiger visits the bear.[(((triple8) -> rule6))] @2: The tiger sees the dog.[(((((triple8) -> rule6)) -> rule8))] @3: The tiger is cold.[(((triple8 ((((triple8) -> rule6)) -> rule8)) -> rule5))]