The lion is rough. The lion sees the tiger. The rabbit does not chase the squirrel. The rabbit eats the lion. The rabbit is cold. The rabbit sees the squirrel. The squirrel chases the lion. The squirrel does not chase the rabbit. The squirrel chases the tiger. The squirrel eats the rabbit. The squirrel is cold. The squirrel is kind. The squirrel does not see the tiger. The tiger chases the squirrel. The tiger eats the rabbit. The tiger does not see the lion. If something eats the lion then it eats the squirrel. If something is red then it eats the squirrel. If something chases the rabbit then it eats the rabbit. If something is cold and it sees the squirrel then it is not red. If something chases the rabbit then the rabbit does not chase the squirrel. If something eats the rabbit then it eats the lion. If something sees the tiger then it chases the rabbit. If the rabbit does not chase the squirrel then the rabbit chases the tiger.
The tiger sees the rabbit.
@0: The lion is rough.[(triple1)] The lion sees the tiger.[(triple2)] The rabbit does not chase the squirrel.[(triple3 OR ((((triple2) -> rule7)) -> rule5))] The rabbit eats the lion.[(triple4)] The rabbit is cold.[(triple5)] The rabbit sees the squirrel.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel chases the tiger.[(triple9)] The squirrel does not chase the rabbit.[(triple8)] The squirrel does not see the tiger.[(triple13)] The squirrel eats the rabbit.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The tiger chases the squirrel.[(triple14)] The tiger does not see the lion.[(triple16)] The tiger eats the rabbit.[(triple15)] @1: The lion chases the rabbit.[(((triple2) -> rule7))] The rabbit chases the tiger.[(((triple3) -> rule8) OR ((((((triple2) -> rule7)) -> rule5)) -> rule8))] The rabbit eats the squirrel.[(((triple4) -> rule1))] The rabbit is not red.[(((triple5 triple6) -> rule4))] The squirrel eats the lion.[(((triple10) -> rule6))] The tiger eats the lion.[(((triple15) -> rule6))] @2: The lion eats the rabbit.[(((((triple2) -> rule7)) -> rule3))] The squirrel eats the squirrel.[(((((triple10) -> rule6)) -> rule1))] The tiger eats the squirrel.[(((((triple15) -> rule6)) -> rule1))] @3: The lion eats the lion.[(((((((triple2) -> rule7)) -> rule3)) -> rule6))] @4: The lion eats the squirrel.[(((((((((triple2) -> rule7)) -> rule3)) -> rule6)) -> rule1))]