The bear chases the rabbit. The bear is big. The bear is red. The bear sees the tiger. The rabbit chases the bear. The rabbit visits the bear. The rabbit visits the tiger. The tiger chases the bear. The tiger is kind. The tiger sees the rabbit. The tiger visits the bear. The tiger visits the rabbit. If something sees the bear and it chases the rabbit then the bear is nice. If something visits the tiger and it chases the bear then the bear chases the tiger. If something chases the tiger and it is nice then the tiger is nice. If the rabbit chases the tiger and the rabbit chases the bear then the bear chases the rabbit. If something sees the tiger and it is red then the tiger visits the rabbit. If something visits the bear then the bear sees the rabbit.
The rabbit visits the bear.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear sees the tiger.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit visits the bear.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger is kind.[(triple9)] The tiger sees the rabbit.[(triple10)] The tiger visits the bear.[(triple11)] The tiger visits the rabbit.[(triple12 OR ((triple4 triple3) -> rule5))] @1: The bear chases the tiger.[(((triple7 triple5) -> rule2))] The bear sees the rabbit.[(((triple11) -> rule6) OR ((triple6) -> rule6))]