The bear chases the cow. The bear is green. The bear is kind. The bear is nice. The bear is red. The bear likes the cow. The bear visits the cow. The cow chases the bear. The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow is red. The cow likes the bear. The cow visits the bear. All green things are nice. If something visits the cow and the cow chases the bear then the cow is nice. If something chases the bear and it is red then the bear chases the cow.
The cow is red.
@0: The bear chases the cow.[(triple1 OR ((triple8 triple13) -> rule3))] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4 OR ((triple2) -> rule1))] The bear is red.[(triple5)] The bear likes the cow.[(triple6)] The bear visits the cow.[(triple7)] The cow chases the bear.[(triple8)] The cow is blue.[(triple9)] The cow is green.[(triple10)] The cow is kind.[(triple11)] The cow is nice.[(triple12 OR ((triple10) -> rule1) OR ((triple7 triple8) -> rule2))] The cow is red.[(triple13)] The cow likes the bear.[(triple14)] The cow visits the bear.[(triple15)]