The lion is big. The lion is cold. The lion is green. The lion is nice. The lion is young. The lion likes the rabbit. The lion sees the rabbit. The lion visits the rabbit. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is young. The rabbit likes the lion. The rabbit sees the lion. The rabbit visits the lion. If someone sees the lion then the lion visits the rabbit. If someone is green and they see the lion then the lion is young. If the rabbit is big and the rabbit visits the lion then the rabbit is cold. If someone sees the lion then the lion visits the rabbit. If the rabbit likes the lion and the rabbit visits the lion then the lion sees the rabbit. If someone is nice and they like the rabbit then they are young. If someone sees the lion and they are nice then the lion is nice. If the lion likes the rabbit then the lion sees the rabbit.
The rabbit is young.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is nice.[(triple4 OR ((triple15 triple12) -> rule7))] The lion is young.[(triple5 OR ((triple11 triple15) -> rule2) OR ((triple4 triple6) -> rule6) OR ((((triple15 triple12) -> rule7) triple6) -> rule6))] The lion likes the rabbit.[(triple6)] The lion sees the rabbit.[(triple7 OR ((triple6) -> rule8) OR ((triple14 triple16) -> rule5))] The lion visits the rabbit.[(triple8 OR ((triple15) -> rule1) OR ((triple15) -> rule4))] The rabbit is big.[(triple9)] The rabbit is cold.[(triple10 OR ((triple9 triple16) -> rule3))] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the lion.[(triple16)]