The lion eats the rabbit. The lion is blue. The lion is red. The lion sees the rabbit. The rabbit eats the lion. The rabbit is big. The rabbit is not blue. The rabbit is not cold. The rabbit is kind. The rabbit is not red. The rabbit does not see the lion. The rabbit visits the lion. If someone sees the lion and they do not eat the rabbit then they are cold. If the lion is kind and the lion does not eat the rabbit then the lion visits the rabbit. If the rabbit is kind and the rabbit sees the lion then the lion visits the rabbit. If someone is blue and they eat the rabbit then they visit the rabbit. If someone is big and not blue then they visit the rabbit. If the rabbit is blue and the rabbit is cold then the rabbit does not eat the lion.
The lion is not cold.
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is red.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit does not see the lion.[(triple11)] The rabbit eats the lion.[(triple5)] The rabbit is big.[(triple6)] The rabbit is kind.[(triple9)] The rabbit is not blue.[(triple7)] The rabbit is not cold.[(triple8)] The rabbit is not red.[(triple10)] The rabbit visits the lion.[(triple12)] @1: The lion visits the rabbit.[(((triple2 triple1) -> rule4))] The rabbit visits the rabbit.[(((triple6 triple7) -> rule5))]