The bear chases the dog. The bear chases the lion. The bear chases the rabbit. The bear is red. The bear does not see the rabbit. The bear does not visit the lion. The dog does not chase the bear. The dog sees the bear. The dog visits the bear. The lion chases the rabbit. The lion visits the bear. The lion does not visit the dog. The lion does not visit the rabbit. The rabbit is nice. The rabbit sees the dog. The rabbit sees the lion. If something is red and it does not chase the dog then the dog does not see the rabbit. Big things are round. If something sees the rabbit then it is big. If something sees the bear then it sees the rabbit. If something chases the lion and the lion is not red then it visits the dog. If the rabbit is red and the rabbit visits the bear then the rabbit is not kind. If something visits the dog then it sees the lion. If the rabbit sees the dog and the rabbit does not see the bear then the rabbit sees the lion.
The dog is big.
@0: The bear chases the dog.[(triple1)] The bear chases the lion.[(triple2)] The bear chases the rabbit.[(triple3)] The bear does not see the rabbit.[(triple5)] The bear does not visit the lion.[(triple6)] The bear is red.[(triple4)] The dog does not chase the bear.[(triple7)] The dog sees the bear.[(triple8)] The dog visits the bear.[(triple9)] The lion chases the rabbit.[(triple10)] The lion does not visit the dog.[(triple12)] The lion does not visit the rabbit.[(triple13)] The lion visits the bear.[(triple11)] The rabbit is nice.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The dog sees the rabbit.[(((triple8) -> rule4))] @2: The dog is big.[(((((triple8) -> rule4)) -> rule3))] @3: The dog is round.[(((((((triple8) -> rule4)) -> rule3)) -> rule2))]