The bear is nice. The cat is green. The cat is not nice. The cat is rough. The dog is nice. The dog likes the cat. The dog visits the cat. The rabbit is big. The rabbit is nice. The rabbit visits the bear. The rabbit visits the cat. The rabbit does not visit the dog. If someone visits the bear then the bear visits the dog. Big people are round. Round people are not rough.
The rabbit visits the cat.
@0: The bear is nice.[(triple1)] The cat is green.[(triple2)] The cat is not nice.[(triple3)] The cat is rough.[(triple4)] The dog is nice.[(triple5)] The dog likes the cat.[(triple6)] The dog visits the cat.[(triple7)] The rabbit does not visit the dog.[(triple12)] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The rabbit visits the bear.[(triple10)] The rabbit visits the cat.[(triple11)] @1: The bear visits the dog.[(((triple10) -> rule1))] The rabbit is round.[(((triple8) -> rule2))] @2: The rabbit is not rough.[(((((triple8) -> rule2)) -> rule3))]