The cat sees the lion. The dog does not eat the cat. The dog does not see the rabbit. The dog visits the cat. The dog visits the rabbit. The lion does not eat the rabbit. The lion is rough. The lion sees the cat. The lion sees the rabbit. The rabbit eats the dog. The rabbit is big. The rabbit does not see the cat. The rabbit sees the dog. The rabbit visits the dog. The rabbit visits the lion. If the lion is rough then the lion sees the rabbit. If someone sees the dog then they eat the dog. If someone is red and they see the rabbit then the rabbit is blue.
The rabbit is big.
@0: The cat sees the lion.[(triple1)] The dog does not eat the cat.[(triple2)] The dog does not see the rabbit.[(triple3)] The dog visits the cat.[(triple4)] The dog visits the rabbit.[(triple5)] The lion does not eat the rabbit.[(triple6)] The lion is rough.[(triple7)] The lion sees the cat.[(triple8)] The lion sees the rabbit.[(triple9 OR ((triple7) -> rule1))] The rabbit does not see the cat.[(triple12)] The rabbit eats the dog.[(triple10 OR ((triple13) -> rule2))] The rabbit is big.[(triple11)] The rabbit sees the dog.[(triple13)] The rabbit visits the dog.[(triple14)] The rabbit visits the lion.[(triple15)]