The bear is blue. The bear is green. The bear is kind. The bear is nice. The bear likes the cow. The bear likes the rabbit. The bear visits the rabbit. The cow is kind. The cow likes the bear. The cow likes the rabbit. The rabbit is blue. The rabbit likes the cow. All nice, green things are kind.
The bear chases the bear.
@0: The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3 OR ((triple4 triple2) -> rule1))] The bear is nice.[(triple4)] The bear likes the cow.[(triple5)] The bear likes the rabbit.[(triple6)] The bear visits the rabbit.[(triple7)] The cow is kind.[(triple8)] The cow likes the bear.[(triple9)] The cow likes the rabbit.[(triple10)] The rabbit is blue.[(triple11)] The rabbit likes the cow.[(triple12)]