The lion eats the rabbit. The lion is big. The lion is kind. The rabbit chases the lion. The rabbit eats the lion. The rabbit is green. The rabbit visits the lion. If someone eats the rabbit then they chase the lion. If someone visits the rabbit and the rabbit chases the lion then the lion eats the rabbit. If someone eats the lion and the lion eats the rabbit then they visit the rabbit. If someone is blue and they visit the rabbit then they visit the lion. If someone eats the rabbit then the rabbit eats the lion. If someone chases the rabbit and the rabbit is green then the rabbit is kind. If someone is green then they eat the lion. If someone chases the lion and they visit the rabbit then they chase the rabbit.
The rabbit is blue.
@0: The lion eats the rabbit.[(triple1)] The lion is big.[(triple2)] The lion is kind.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit eats the lion.[(triple5 OR ((triple1) -> rule5) OR ((triple6) -> rule7))] The rabbit is green.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion chases the lion.[(((triple1) -> rule1))] The rabbit visits the rabbit.[(((triple5 triple1) -> rule3) OR ((((triple1) -> rule5) triple1) -> rule3) OR ((((triple6) -> rule7) triple1) -> rule3))] @2: The rabbit chases the rabbit.[(((triple4 ((triple5 triple1) -> rule3)) -> rule8) OR ((triple4 ((((triple1) -> rule5) triple1) -> rule3)) -> rule8) OR ((triple4 ((((triple6) -> rule7) triple1) -> rule3)) -> rule8))] @3: The rabbit is kind.[(((((triple4 ((triple5 triple1) -> rule3)) -> rule8) triple6) -> rule6) OR ((((triple4 ((((triple1) -> rule5) triple1) -> rule3)) -> rule8) triple6) -> rule6) OR ((((triple4 ((((triple6) -> rule7) triple1) -> rule3)) -> rule8) triple6) -> rule6))]