The lion eats the rabbit. The lion is cold. The lion is nice. The lion is red. The lion is rough. The lion is round. The lion sees the rabbit. The lion visits the rabbit. The rabbit is nice. The rabbit is red. The rabbit sees the lion. The rabbit visits the lion. If someone sees the lion then they eat the rabbit. If the lion is red and the lion sees the rabbit then the rabbit sees the lion.
The lion sees the rabbit.
@0: The lion eats the rabbit.[(triple1)] The lion is cold.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6)] The lion sees the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)] The rabbit sees the lion.[(triple11 OR ((triple4 triple7) -> rule2))] The rabbit visits the lion.[(triple12)] @1: The rabbit eats the rabbit.[(((triple11) -> rule1) OR ((((triple4 triple7) -> rule2)) -> rule1))]