The cat is big. The cat is blue. The cat is rough. The cat is round. The cat likes the cow. The cat does not see the cow. The cat visits the cow. The cow is blue. The cow is green. The cow likes the cat. The cow sees the cat. The cow does not visit the cat. If something likes the cat and it does not see the cow then the cow visits the cat. If something visits the cat then it visits the cow. If something sees the cat and the cat is round then the cat is big.
The cat is round.
@0: The cat does not see the cow.[(triple6)] The cat is big.[(triple1 OR ((triple11 triple4) -> rule3))] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat likes the cow.[(triple5)] The cat visits the cow.[(triple7)] The cow does not visit the cat.[(triple12)] The cow is blue.[(triple8)] The cow is green.[(triple9)] The cow likes the cat.[(triple10)] The cow sees the cat.[(triple11)]