The cat eats the dog. The cat is green. The cow is big. The cow needs the dog. The cow needs the rabbit. The dog is big. The rabbit is cold. The rabbit likes the cat. The rabbit likes the cow. The rabbit needs the cow. If something is green then it eats the dog. If something needs the cat and the cat likes the dog then the dog eats the rabbit. If something is round then it likes the rabbit.
The cat is not green.
@0: The cat eats the dog.[(triple1 OR ((triple2) -> rule1))] The cat is green.[(triple2)] The cow is big.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the rabbit.[(triple5)] The dog is big.[(triple6)] The rabbit is cold.[(triple7)] The rabbit likes the cat.[(triple8)] The rabbit likes the cow.[(triple9)] The rabbit needs the cow.[(triple10)]