The cat needs the rabbit. The lion eats the cat. The lion eats the rabbit. The lion is big. The lion is round. The lion does not need the cat. The lion does not need the rabbit. The lion sees the cat. The rabbit does not see the cat. The rabbit sees the lion. If someone is red and they see the rabbit then they do not see the cat. If someone eats the cat then they see the cat. If someone needs the lion and they are not big then they do not need the cat. If someone needs the cat and the cat eats the lion then the cat does not need the rabbit. If someone needs the rabbit then they do not see the lion. If someone is round and they need the lion then the lion sees the rabbit. If the rabbit needs the lion and the lion needs the rabbit then the rabbit is not young. If the lion does not need the cat then the cat is young.
The lion eats the rabbit.
@0: The cat needs the rabbit.[(triple1)] The lion does not need the cat.[(triple6)] The lion does not need the rabbit.[(triple7)] The lion eats the cat.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is big.[(triple4)] The lion is round.[(triple5)] The lion sees the cat.[(triple8 OR ((triple2) -> rule2))] The rabbit does not see the cat.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The cat does not see the lion.[(((triple1) -> rule5))] The cat is young.[(((triple6) -> rule8))]