The bear is not kind. The bear is nice. The bear is round. The bear sees the cat. The bear sees the rabbit. The cat chases the rabbit. The cat is big. The cat is kind. The cat sees the bear. The cat sees the rabbit. The cat visits the bear. The cat visits the rabbit. The rabbit chases the bear. The rabbit does not chase the cat. The rabbit sees the cat. If something is green then it visits the bear. If the cat is round and the cat is not big then the cat sees the bear. If something visits the bear then it visits the cat.
The bear is round.
@0: The bear is nice.[(triple2)] The bear is not kind.[(triple1)] The bear is round.[(triple3)] The bear sees the cat.[(triple4)] The bear sees the rabbit.[(triple5)] The cat chases the rabbit.[(triple6)] The cat is big.[(triple7)] The cat is kind.[(triple8)] The cat sees the bear.[(triple9)] The cat sees the rabbit.[(triple10)] The cat visits the bear.[(triple11)] The cat visits the rabbit.[(triple12)] The rabbit chases the bear.[(triple13)] The rabbit does not chase the cat.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The cat visits the cat.[(((triple11) -> rule3))]