The bald eagle is rough. The bald eagle likes the cat. The bald eagle sees the cat. The cat is blue. The cow likes the lion. The cow sees the bald eagle. The cow sees the lion. The lion likes the cat. The lion sees the bald eagle. The lion sees the cow. If the lion likes the cow and the lion is rough then the lion sees the cow. If something likes the cat then the cat sees the lion. If something likes the cat then it is green.
The bald eagle is green.
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat is blue.[(triple4)] The cow likes the lion.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow sees the lion.[(triple7)] The lion likes the cat.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the cow.[(triple10)] @1: The bald eagle is green.[(((triple2) -> rule3))] The cat sees the lion.[(((triple2) -> rule2) OR ((triple8) -> rule2))] The lion is green.[(((triple8) -> rule3))]