The bear chases the rabbit. The bear is green. The bear is not kind. The bear is rough. The bear likes the lion. The lion is round. The lion visits the bear. The rabbit is not kind. The rabbit likes the bear. The rabbit likes the lion. The rabbit visits the bear. The rabbit visits the lion. If something likes the lion then it chases the lion. If something visits the lion then it chases the bear. If something chases the rabbit and it is rough then it visits the bear.
The lion does not like the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is green.[(triple2)] The bear is not kind.[(triple3)] The bear is rough.[(triple4)] The bear likes the lion.[(triple5)] The lion is round.[(triple6)] The lion visits the bear.[(triple7)] The rabbit is not kind.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit likes the lion.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The bear chases the lion.[(((triple5) -> rule1))] The bear visits the bear.[(((triple1 triple4) -> rule3))] The rabbit chases the bear.[(((triple12) -> rule2))] The rabbit chases the lion.[(((triple10) -> rule1))]