The cow is nice. The cow is red. The cow is round. The cow likes the dog. The cow needs the dog. The dog chases the cow. The dog is rough. The dog is round. The dog likes the cow. The dog needs the cow. If someone is nice and red then they need the dog. If the cow is blue then the cow likes the dog. If someone is rough then they are round.
The dog likes the dog.
@0: The cow is nice.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow likes the dog.[(triple4)] The cow needs the dog.[(triple5 OR ((triple1 triple2) -> rule1))] The dog chases the cow.[(triple6)] The dog is rough.[(triple7)] The dog is round.[(triple8 OR ((triple7) -> rule3))] The dog likes the cow.[(triple9)] The dog needs the cow.[(triple10)]