The bear does not like the squirrel. The dog is big. The lion sees the squirrel. The squirrel likes the bear. If something visits the bear and it is big then the bear is red. If something likes the bear then the bear does not like the lion. If something is red then it visits the dog. If the dog likes the bear and the bear is round then the dog sees the bear. If something visits the dog and the dog is not red then it visits the lion. If something is nice and not red then it visits the lion.
The bear does not visit the lion.
@0: The bear does not like the squirrel.[(triple1)] The dog is big.[(triple2)] The lion sees the squirrel.[(triple3)] The squirrel likes the bear.[(triple4)] @1: The bear does not like the lion.[(((triple4) -> rule2))]