The lion is big. The lion is kind. The rabbit likes the lion. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel likes the rabbit. The squirrel needs the lion. The tiger eats the lion. The tiger needs the lion. If something needs the tiger then the tiger eats the rabbit. If something eats the tiger and it is cold then it is nice. If the tiger is red and the tiger is cold then the tiger likes the lion. If something likes the lion and the lion is red then the lion likes the rabbit. If something is nice then it likes the tiger. If something eats the lion then it is nice. If the rabbit needs the squirrel and the squirrel is red then the squirrel is kind. If something is nice then it likes the rabbit.
The squirrel eats the lion.
@0: The lion is big.[(triple1)] The lion is kind.[(triple2)] The rabbit likes the lion.[(triple3)] The squirrel is cold.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is red.[(triple6)] The squirrel likes the rabbit.[(triple7 OR ((triple5) -> rule8))] The squirrel needs the lion.[(triple8)] The tiger eats the lion.[(triple9)] The tiger needs the lion.[(triple10)] @1: The squirrel likes the tiger.[(((triple5) -> rule5))] The tiger is nice.[(((triple9) -> rule6))] @2: The tiger likes the rabbit.[(((((triple9) -> rule6)) -> rule8))] The tiger likes the tiger.[(((((triple9) -> rule6)) -> rule5))]