The cow is big. The cow is kind. The cow is nice. The cow is red. The cow is rough. The cow likes the lion. The cow sees the lion. The cow visits the lion. The lion is big. The lion is kind. The lion is nice. The lion is red. The lion likes the cow. The lion sees the cow. The lion visits the cow. If something visits the cow and the cow likes the lion then the cow sees the lion. If something is kind and it visits the lion then the lion sees the cow.
The lion does not like the lion.
@0: The cow is big.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow likes the lion.[(triple6)] The cow sees the lion.[(triple7 OR ((triple15 triple6) -> rule1))] The cow visits the lion.[(triple8)] The lion is big.[(triple9)] The lion is kind.[(triple10)] The lion is nice.[(triple11)] The lion is red.[(triple12)] The lion likes the cow.[(triple13)] The lion sees the cow.[(triple14 OR ((triple2 triple8) -> rule2))] The lion visits the cow.[(triple15)]