The bear is green. The bear is kind. The bear is rough. The bear is round. The bear likes the dog. The bear likes the rabbit. The bear needs the rabbit. The bear visits the dog. The bear visits the rabbit. The dog is green. The dog visits the bear. The dog visits the rabbit. The rabbit is green. The rabbit is nice. The rabbit visits the bear. The rabbit visits the dog. If someone is nice and they need the bear then the bear visits the rabbit. If someone visits the bear then the bear needs the dog. Round people are rough.
The dog is kind.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3 OR ((triple4) -> rule3))] The bear is round.[(triple4)] The bear likes the dog.[(triple5)] The bear likes the rabbit.[(triple6)] The bear needs the rabbit.[(triple7)] The bear visits the dog.[(triple8)] The bear visits the rabbit.[(triple9)] The dog is green.[(triple10)] The dog visits the bear.[(triple11)] The dog visits the rabbit.[(triple12)] The rabbit is green.[(triple13)] The rabbit is nice.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The bear needs the dog.[(((triple11) -> rule2) OR ((triple15) -> rule2))]