The lion is cold. The lion is young. The lion likes the rabbit. The lion does not see the rabbit. The rabbit does not eat the lion. The rabbit is cold. The rabbit is rough. The rabbit is young. The rabbit likes the lion. The rabbit sees the lion. If something eats the rabbit then the rabbit does not see the lion. If the rabbit is young then the rabbit sees the lion. If something sees the rabbit then the rabbit eats the lion. If the lion likes the rabbit and the rabbit is not cold then the rabbit eats the lion. All rough things are nice. If the lion does not see the rabbit then the lion likes the rabbit. If something likes the rabbit then it likes the lion. If something likes the lion then it likes the rabbit.
The lion is not nice.
@0: The lion does not see the rabbit.[(triple4)] The lion is cold.[(triple1)] The lion is young.[(triple2)] The lion likes the rabbit.[(triple3 OR ((triple4) -> rule6))] The rabbit does not eat the lion.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the lion.[(triple9)] The rabbit sees the lion.[(triple10 OR ((triple8) -> rule2))] @1: The lion likes the lion.[(((triple3) -> rule7) OR ((((triple4) -> rule6)) -> rule7))] The rabbit is nice.[(((triple7) -> rule5))] The rabbit likes the rabbit.[(((triple9) -> rule8))]