The lion eats the rabbit. The lion is green. The lion is kind. The lion is red. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is green. The rabbit is red. The rabbit is young. The rabbit likes the lion. The rabbit visits the lion. If someone visits the lion then the lion is big. If someone visits the rabbit then the rabbit visits the lion. If someone is big and they eat the rabbit then the rabbit is big.
The lion is not big.
@0: The lion eats the rabbit.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion likes the rabbit.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is green.[(triple8)] The rabbit is red.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the lion.[(triple11)] The rabbit visits the lion.[(triple12 OR ((triple6) -> rule2))] @1: The lion is big.[(((triple12) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] @2: The rabbit is big.[(((((triple12) -> rule1) triple1) -> rule3) OR ((((((triple6) -> rule2)) -> rule1) triple1) -> rule3))]