The lion does not eat the rabbit. The lion is cold. The lion is kind. The lion is nice. The lion does not need the rabbit. The lion sees the rabbit. The rabbit eats the lion. The rabbit is nice. The rabbit is not red. The rabbit is rough. The rabbit does not need the lion. The rabbit sees the lion. If someone sees the rabbit and they are not nice then the rabbit needs the lion. If the rabbit sees the lion then the rabbit is cold. If someone eats the lion and they see the lion then the lion does not need the rabbit. If someone eats the rabbit and they need the lion then the lion needs the rabbit. If someone eats the rabbit then the rabbit eats the lion. If someone is cold then they are kind. If someone needs the lion then the lion is red. If someone needs the rabbit then they see the lion.
The lion is rough.
@0: The lion does not eat the rabbit.[(triple1)] The lion does not need the rabbit.[(triple5 OR ((triple7 triple12) -> rule3))] The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple2) -> rule6))] The lion is nice.[(triple4)] The lion sees the rabbit.[(triple6)] The rabbit does not need the lion.[(triple11)] The rabbit eats the lion.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is not red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit sees the lion.[(triple12)] @1: The rabbit is cold.[(((triple12) -> rule2))] @2: The rabbit is kind.[(((((triple12) -> rule2)) -> rule6))]