The cow is big. The dog needs the rabbit. The lion is big. The lion is blue. The lion is red. The lion needs the rabbit. The rabbit is red. If someone is nice then they see the lion. If someone needs the cow and the cow is blue then they need the dog. If someone eats the cow and they are red then they eat the lion. If the lion sees the rabbit then the rabbit needs the dog. If the lion eats the cow and the lion needs the rabbit then the rabbit is nice. If someone is big then they eat the cow.
The lion is not red.
@0: The cow is big.[(triple1)] The dog needs the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is blue.[(triple4)] The lion is red.[(triple5)] The lion needs the rabbit.[(triple6)] The rabbit is red.[(triple7)] @1: The cow eats the cow.[(((triple1) -> rule6))] The lion eats the cow.[(((triple3) -> rule6))] @2: The lion eats the lion.[(((((triple3) -> rule6) triple5) -> rule3))] The rabbit is nice.[(((((triple3) -> rule6) triple6) -> rule5))] @3: The rabbit sees the lion.[(((((((triple3) -> rule6) triple6) -> rule5)) -> rule1))]