The cow is red. The cow sees the lion. The dog does not chase the lion. The dog eats the lion. The lion chases the cow. The lion chases the dog. The lion does not chase the rabbit. The lion does not eat the cow. The lion is blue. The lion is not kind. The lion is nice. The lion sees the rabbit. The rabbit does not eat the dog. The rabbit eats the lion. The rabbit is blue. The rabbit sees the cow. If something is nice and not round then it chases the dog. If something eats the lion then it chases the cow. If something chases the cow then it is red. If the rabbit eats the cow and the cow sees the dog then the rabbit eats the lion. If the rabbit is red then the rabbit sees the dog. If the rabbit is not round and the rabbit is not red then the rabbit sees the lion.
The lion is blue.
@0: The cow is red.[(triple1)] The cow sees the lion.[(triple2)] The dog does not chase the lion.[(triple3)] The dog eats the lion.[(triple4)] The lion chases the cow.[(triple5)] The lion chases the dog.[(triple6)] The lion does not chase the rabbit.[(triple7)] The lion does not eat the cow.[(triple8)] The lion is blue.[(triple9)] The lion is nice.[(triple11)] The lion is not kind.[(triple10)] The lion sees the rabbit.[(triple12)] The rabbit does not eat the dog.[(triple13)] The rabbit eats the lion.[(triple14)] The rabbit is blue.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The dog chases the cow.[(((triple4) -> rule2))] The lion is red.[(((triple5) -> rule3))] The rabbit chases the cow.[(((triple14) -> rule2))] @2: The dog is red.[(((((triple4) -> rule2)) -> rule3))] The rabbit is red.[(((((triple14) -> rule2)) -> rule3))] @3: The rabbit sees the dog.[(((((((triple14) -> rule2)) -> rule3)) -> rule5))]