The cat needs the cow. The cow is blue. The cow is cold. The cow is green. The cow is rough. The cow needs the cat. The cow sees the cat. The cow sees the lion. The cow visits the cat. The cow visits the lion. The lion is green. The lion needs the cow. The lion sees the cat. The lion sees the cow. The lion visits the cat. If something is green then it visits the cat. If the cow sees the cat then the cow is cold.
The lion sees the lion.
@0: The cat needs the cow.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3 OR ((triple7) -> rule2))] The cow is green.[(triple4)] The cow is rough.[(triple5)] The cow needs the cat.[(triple6)] The cow sees the cat.[(triple7)] The cow sees the lion.[(triple8)] The cow visits the cat.[(triple9 OR ((triple4) -> rule1))] The cow visits the lion.[(triple10)] The lion is green.[(triple11)] The lion needs the cow.[(triple12)] The lion sees the cat.[(triple13)] The lion sees the cow.[(triple14)] The lion visits the cat.[(triple15 OR ((triple11) -> rule1))]