The bear is round. The bear likes the rabbit. The bear does not see the rabbit. The bear visits the rabbit. The rabbit is round. The rabbit likes the bear. The rabbit visits the bear. If something visits the bear then it is big. If the bear is rough and the bear visits the rabbit then the rabbit is round. If something likes the rabbit and it visits the bear then the bear does not visit the rabbit.
The rabbit is round.
@0: The bear does not see the rabbit.[(triple3)] The bear is round.[(triple1)] The bear likes the rabbit.[(triple2)] The bear visits the rabbit.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The rabbit is big.[(((triple7) -> rule1))]