The lion chases the rabbit. The lion is blue. The lion is rough. The lion is round. The lion sees the rabbit. The lion does not visit the rabbit. The rabbit chases the lion. The rabbit is not blue. The rabbit is round. The rabbit is not young. The rabbit sees the lion. The rabbit visits the lion. If something chases the rabbit then the rabbit chases the lion. If the rabbit visits the lion then the rabbit is round. If something is blue and it chases the lion then the lion does not visit the rabbit. If something is young then it chases the lion. If the rabbit chases the lion and the lion visits the rabbit then the lion sees the rabbit. If the rabbit chases the lion and the rabbit does not see the lion then the lion chases the rabbit. If something visits the rabbit and the rabbit does not see the lion then it is not rough. If the rabbit visits the lion and the lion is round then the lion is young.
The lion is young.
@0: The lion chases the rabbit.[(triple1)] The lion does not visit the rabbit.[(triple6 OR ((triple2 ((((triple12 triple4) -> rule8)) -> rule4)) -> rule3))] The lion is blue.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit chases the lion.[(triple7 OR ((triple1) -> rule1))] The rabbit is not blue.[(triple8)] The rabbit is not young.[(triple10)] The rabbit is round.[(triple9 OR ((triple12) -> rule2))] The rabbit sees the lion.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion is young.[(((triple12 triple4) -> rule8))] @2: The lion chases the lion.[(((((triple12 triple4) -> rule8)) -> rule4))]