The bear eats the cat. The bear is green. The bear visits the cat. The cat eats the rabbit. The cat likes the rabbit. The cat visits the mouse. The mouse likes the rabbit. The mouse visits the bear. The rabbit eats the cat. The rabbit is big. The rabbit is red. The rabbit is round. The rabbit likes the mouse. The rabbit visits the bear. The rabbit visits the cat. If someone is big then they like the bear.
The rabbit does not visit the cat.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear visits the cat.[(triple3)] The cat eats the rabbit.[(triple4)] The cat likes the rabbit.[(triple5)] The cat visits the mouse.[(triple6)] The mouse likes the rabbit.[(triple7)] The mouse visits the bear.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit is big.[(triple10)] The rabbit is red.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit visits the bear.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The rabbit likes the bear.[(((triple10) -> rule1))]