The bear is blue. The bear is green. The bear is kind. The bear likes the cow. The bear visits the cow. The cow eats the bear. The cow is green. The cow is round. The cow likes the bear. The cow visits the bear. If someone eats the cow and they are cold then they like the cow. If the cow is round then the cow eats the bear.
The cow visits the cow.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear likes the cow.[(triple4)] The bear visits the cow.[(triple5)] The cow eats the bear.[(triple6 OR ((triple8) -> rule2))] The cow is green.[(triple7)] The cow is round.[(triple8)] The cow likes the bear.[(triple9)] The cow visits the bear.[(triple10)]