The lion eats the rabbit. The lion is not blue. The lion is rough. The lion likes the rabbit. The lion sees the rabbit. The rabbit eats the lion. The rabbit is big. The rabbit is cold. The rabbit is red. The rabbit is not rough. The rabbit likes the lion. The rabbit sees the lion. If something is blue then it does not see the rabbit. If the lion sees the rabbit then the rabbit likes the lion. If something eats the lion then it is cold. If something sees the lion then it is cold. If something eats the rabbit then it does not like the lion. If something likes the lion and it does not see the rabbit then it eats the rabbit. If something likes the lion and it does not see the lion then the lion eats the rabbit. If something likes the lion and it likes the rabbit then the lion does not like the rabbit.
The rabbit is red.
@0: The lion eats the rabbit.[(triple1)] The lion is not blue.[(triple2)] The lion is rough.[(triple3)] The lion likes the rabbit.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is big.[(triple7)] The rabbit is cold.[(triple8 OR ((triple12) -> rule4) OR ((triple6) -> rule3))] The rabbit is not rough.[(triple10)] The rabbit is red.[(triple9)] The rabbit likes the lion.[(triple11 OR ((triple5) -> rule2))] The rabbit sees the lion.[(triple12)] @1: The lion does not like the lion.[(((triple1) -> rule5))]