The bear is blue. The bear is nice. The bear is rough. The bear likes the cow. The bear needs the cow. The bear visits the cow. The cow is red. The cow is rough. The cow needs the bear. The cow visits the bear. If someone likes the bear then they like the cow. If the bear likes the cow and the cow needs the bear then the bear visits the cow. If someone visits the bear then they like the bear.
The cow likes the cow.
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear likes the cow.[(triple4)] The bear needs the cow.[(triple5)] The bear visits the cow.[(triple6 OR ((triple4 triple9) -> rule2))] The cow is red.[(triple7)] The cow is rough.[(triple8)] The cow needs the bear.[(triple9)] The cow visits the bear.[(triple10)] @1: The cow likes the bear.[(((triple10) -> rule3))] @2: The cow likes the cow.[(((((triple10) -> rule3)) -> rule1))]