The cow is big. The cow is cold. The cow is not nice. The cow is round. The cow is young. The cow likes the dog. The cow needs the dog. The cow sees the dog. The dog is big. The dog is cold. The dog is nice. The dog is round. The dog is not young. The dog likes the cow. The dog needs the cow. The dog sees the cow. If something is nice and it sees the cow then the cow sees the dog. If something is round then it is big. If something is round then it is big. If something sees the dog and it does not like the dog then it likes the cow. If something likes the dog and it likes the cow then the dog does not like the cow. If something is young and round then it needs the dog. If something needs the dog and the dog does not see the cow then the cow is not big. If the dog is cold and the dog does not like the cow then the cow is young.
The cow is round.
@0: The cow is big.[(triple1 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] The cow is cold.[(triple2)] The cow is not nice.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the dog.[(triple6)] The cow needs the dog.[(triple7 OR ((triple5 triple4) -> rule6))] The cow sees the dog.[(triple8 OR ((triple11 triple16) -> rule1))] The dog is big.[(triple9 OR ((triple12) -> rule2) OR ((triple12) -> rule3))] The dog is cold.[(triple10)] The dog is nice.[(triple11)] The dog is not young.[(triple13)] The dog is round.[(triple12)] The dog likes the cow.[(triple14)] The dog needs the cow.[(triple15)] The dog sees the cow.[(triple16)]