The bear chases the cat. The bear is green. The bear is not red. The bear likes the cat. The bear does not visit the cat. The cat chases the bear. The cat is not green. The cat is not rough. The cat does not like the bear. The cat visits the bear. If someone visits the bear then the bear chases the cat. If someone visits the bear and they chase the bear then they are nice.
The cat is not nice.
@0: The bear chases the cat.[(triple1 OR ((triple10) -> rule1))] The bear does not visit the cat.[(triple5)] The bear is green.[(triple2)] The bear is not red.[(triple3)] The bear likes the cat.[(triple4)] The cat chases the bear.[(triple6)] The cat does not like the bear.[(triple9)] The cat is not green.[(triple7)] The cat is not rough.[(triple8)] The cat visits the bear.[(triple10)] @1: The cat is nice.[(((triple10 triple6) -> rule2))]