The bear is green. The bear needs the cat. The bear sees the cow. The bear sees the lion. The cat visits the cow. The cat visits the lion. The cow is green. The cow sees the bear. The lion is rough. The lion does not visit the cow. If someone sees the lion then they visit the lion. If someone sees the bear then they are round. If the cat is round and the cat does not need the cow then the cat is not rough. If the cow is round then the cow sees the lion. If the cat needs the bear and the bear visits the lion then the bear is not round. If someone needs the lion and they see the cow then they see the bear.
The cow is not round.
@0: The bear is green.[(triple1)] The bear needs the cat.[(triple2)] The bear sees the cow.[(triple3)] The bear sees the lion.[(triple4)] The cat visits the cow.[(triple5)] The cat visits the lion.[(triple6)] The cow is green.[(triple7)] The cow sees the bear.[(triple8)] The lion does not visit the cow.[(triple10)] The lion is rough.[(triple9)] @1: The bear visits the lion.[(((triple4) -> rule1))] The cow is round.[(((triple8) -> rule2))] @2: The cow sees the lion.[(((((triple8) -> rule2)) -> rule4))] @3: The cow visits the lion.[(((((((triple8) -> rule2)) -> rule4)) -> rule1))]