The lion is red. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion visits the rabbit. The rabbit is not nice. The rabbit is not red. The rabbit is round. The rabbit is young. The rabbit likes the lion. The rabbit needs the lion. The rabbit visits the lion. If the rabbit needs the lion and the lion needs the rabbit then the lion is nice. If someone likes the lion then the lion is red. If someone visits the lion and they are nice then the lion visits the rabbit. If someone needs the lion then they do not like the rabbit. If someone is blue then they need the lion. If someone visits the lion then the lion likes the rabbit.
The lion is red.
@0: The lion is red.[(triple1 OR ((triple10) -> rule2))] The lion is young.[(triple2)] The lion likes the rabbit.[(triple3 OR ((triple12) -> rule6))] The lion needs the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit is not nice.[(triple6)] The rabbit is not red.[(triple7)] The rabbit is round.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the lion.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion is nice.[(((triple11 triple4) -> rule1))] The rabbit does not like the rabbit.[(((triple11) -> rule4))]