The cat eats the rabbit. The cat visits the lion. The cat visits the rabbit. The lion eats the rabbit. The lion is cold. The lion visits the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is red. The rabbit visits the lion. If something is red then it likes the rabbit. If something likes the rabbit then it is red. If something visits the rabbit then it visits the cat.
The cat does not visit the rabbit.
@0: The cat eats the rabbit.[(triple1)] The cat visits the lion.[(triple2)] The cat visits the rabbit.[(triple3)] The lion eats the rabbit.[(triple4)] The lion is cold.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The cat visits the cat.[(((triple3) -> rule3))] The lion visits the cat.[(((triple6) -> rule3))] The rabbit likes the rabbit.[(((triple9) -> rule1))]