The cat eats the rabbit. The cat visits the dog. The dog is red. The dog visits the cat. The lion is rough. The rabbit eats the cat. The rabbit eats the lion. The rabbit is green. The rabbit is rough. The rabbit is round. If the rabbit eats the lion and the rabbit sees the dog then the lion sees the cat. If something is green and it eats the lion then it is red. If something sees the rabbit then the rabbit eats the dog. If something is green and red then it sees the dog. If something sees the cat then the cat sees the rabbit. If something sees the dog and it visits the lion then the lion visits the cat. If something is round and it sees the dog then the dog sees the cat. If something sees the lion then it sees the dog. If something visits the dog and it is red then the dog is big.
The rabbit does not visit the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat visits the dog.[(triple2)] The dog is red.[(triple3)] The dog visits the cat.[(triple4)] The lion is rough.[(triple5)] The rabbit eats the cat.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is green.[(triple8)] The rabbit is rough.[(triple9)] The rabbit is round.[(triple10)] @1: The rabbit is red.[(((triple8 triple7) -> rule2))] @2: The rabbit sees the dog.[(((triple8 ((triple8 triple7) -> rule2)) -> rule4))] @3: The dog sees the cat.[(((triple10 ((triple8 ((triple8 triple7) -> rule2)) -> rule4)) -> rule7))] The lion sees the cat.[(((triple7 ((triple8 ((triple8 triple7) -> rule2)) -> rule4)) -> rule1))] @4: The cat sees the rabbit.[(((((triple10 ((triple8 ((triple8 triple7) -> rule2)) -> rule4)) -> rule7)) -> rule5) OR ((((triple7 ((triple8 ((triple8 triple7) -> rule2)) -> rule4)) -> rule1)) -> rule5))] @5: The rabbit eats the dog.[(((((((triple10 ((triple8 ((triple8 triple7) -> rule2)) -> rule4)) -> rule7)) -> rule5)) -> rule3) OR ((((((triple7 ((triple8 ((triple8 triple7) -> rule2)) -> rule4)) -> rule1)) -> rule5)) -> rule3))]