The cat eats the dog. The cat is blue. The cat is rough. The cat is round. The cat sees the dog. The cat visits the dog. The dog eats the cat. The dog is rough. The dog is round. The dog sees the cat. If someone visits the cat and the cat sees the dog then the cat visits the dog. If someone sees the cat then they are rough. If someone is rough and they see the cat then the cat visits the dog. If the dog eats the cat and the dog is round then the dog sees the cat. If someone visits the dog and the dog visits the cat then the cat eats the dog. If someone is round then they eat the dog.
The cat is not nice.
@0: The cat eats the dog.[(triple1 OR ((triple4) -> rule6))] The cat is blue.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat sees the dog.[(triple5)] The cat visits the dog.[(triple6 OR ((triple8 triple10) -> rule3) OR ((triple8 ((triple7 triple9) -> rule4)) -> rule3) OR ((((triple10) -> rule2) triple10) -> rule3) OR ((((triple10) -> rule2) ((triple7 triple9) -> rule4)) -> rule3) OR ((((((triple7 triple9) -> rule4)) -> rule2) triple10) -> rule3) OR ((((((triple7 triple9) -> rule4)) -> rule2) ((triple7 triple9) -> rule4)) -> rule3))] The dog eats the cat.[(triple7)] The dog is rough.[(triple8 OR ((triple10) -> rule2) OR ((((triple7 triple9) -> rule4)) -> rule2))] The dog is round.[(triple9)] The dog sees the cat.[(triple10 OR ((triple7 triple9) -> rule4))] @1: The dog eats the dog.[(((triple9) -> rule6))]