The bear does not chase the cow. The bear chases the lion. The bear is red. The bear is rough. The bear is round. The bear likes the cow. The bear likes the lion. The bear visits the cow. The bear visits the lion. The cow is not green. The cow is not nice. The cow is red. The cow visits the bear. The cow visits the lion. The lion chases the bear. The lion visits the cow. If someone likes the bear then they are rough. If someone visits the bear and they visit the lion then they are rough. If someone likes the lion and the lion does not chase the cow then they do not visit the bear. If someone chases the bear and they like the bear then they chase the lion. If someone visits the lion and they like the lion then the lion is red. If someone likes the cow then the cow likes the lion. If someone likes the cow then the cow visits the lion. If the lion does not visit the bear then the bear chases the lion.
The cow is not green.
@0: The bear chases the lion.[(triple2)] The bear does not chase the cow.[(triple1)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear likes the cow.[(triple6)] The bear likes the lion.[(triple7)] The bear visits the cow.[(triple8)] The bear visits the lion.[(triple9)] The cow is not green.[(triple10)] The cow is not nice.[(triple11)] The cow is red.[(triple12)] The cow visits the bear.[(triple13)] The cow visits the lion.[(triple14 OR ((triple6) -> rule7))] The lion chases the bear.[(triple15)] The lion visits the cow.[(triple16)] @1: The cow is rough.[(((triple13 triple14) -> rule2) OR ((triple13 ((triple6) -> rule7)) -> rule2))] The cow likes the lion.[(((triple6) -> rule6))] The lion is red.[(((triple9 triple7) -> rule5) OR ((triple14 ((triple6) -> rule6)) -> rule5) OR ((((triple6) -> rule7) ((triple6) -> rule6)) -> rule5))]