The cat is nice. The cat needs the cow. The cat needs the dog. The cat sees the dog. The cow is big. The cow sees the dog. The cow sees the lion. The cow does not visit the cat. The dog is big. The dog is nice. The dog needs the cat. The dog needs the cow. The dog sees the cow. The lion does not need the cat. The lion visits the cat. If something sees the cow then the cow visits the dog. If something visits the dog then it is round.
The cow is round.
@0: The cat is nice.[(triple1)] The cat needs the cow.[(triple2)] The cat needs the dog.[(triple3)] The cat sees the dog.[(triple4)] The cow does not visit the cat.[(triple8)] The cow is big.[(triple5)] The cow sees the dog.[(triple6)] The cow sees the lion.[(triple7)] The dog is big.[(triple9)] The dog is nice.[(triple10)] The dog needs the cat.[(triple11)] The dog needs the cow.[(triple12)] The dog sees the cow.[(triple13)] The lion does not need the cat.[(triple14)] The lion visits the cat.[(triple15)] @1: The cow visits the dog.[(((triple13) -> rule1))] @2: The cow is round.[(((((triple13) -> rule1)) -> rule2))]