The lion is blue. The lion is kind. The lion is not red. The lion is not round. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion visits the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is red. The rabbit is not young. The rabbit likes the lion. The rabbit needs the lion. The rabbit visits the lion. If something is young and it visits the rabbit then the rabbit needs the lion. If something needs the lion and the lion needs the rabbit then the lion is kind. If something visits the rabbit and the rabbit likes the lion then it does not like the lion. If something is young and it visits the lion then it likes the rabbit. If something visits the lion and it is not kind then the lion likes the rabbit. If the rabbit visits the lion and the rabbit is not red then the lion does not like the rabbit.
The lion visits the lion.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2 OR ((triple14 triple7) -> rule2) OR ((((triple5 triple8) -> rule1) triple7) -> rule2))] The lion is not red.[(triple3)] The lion is not round.[(triple4)] The lion is young.[(triple5)] The lion likes the rabbit.[(triple6)] The lion needs the rabbit.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is not young.[(triple12)] The rabbit is red.[(triple11)] The rabbit likes the lion.[(triple13)] The rabbit needs the lion.[(triple14 OR ((triple5 triple8) -> rule1))] The rabbit visits the lion.[(triple15)] @1: The lion does not like the lion.[(((triple8 triple13) -> rule3))]