The bear is blue. The bear is not red. The cow eats the rabbit. The cow sees the dog. The dog does not eat the bear. The dog is green. The dog sees the rabbit. The rabbit eats the bear. The rabbit eats the dog. The rabbit does not see the bear. If someone is blue then they need the dog. If the dog does not see the cow then the cow sees the rabbit. If someone needs the dog then the dog is green. If someone needs the dog then the dog needs the bear. If someone needs the rabbit and they see the rabbit then the rabbit sees the cow. If someone sees the bear then they are red. If someone needs the cow then the cow eats the bear. If someone eats the bear and the bear is not red then they need the cow.
The cow eats the rabbit.
@0: The bear is blue.[(triple1)] The bear is not red.[(triple2)] The cow eats the rabbit.[(triple3)] The cow sees the dog.[(triple4)] The dog does not eat the bear.[(triple5)] The dog is green.[(triple6 OR ((((triple1) -> rule1)) -> rule3))] The dog sees the rabbit.[(triple7)] The rabbit does not see the bear.[(triple10)] The rabbit eats the bear.[(triple8)] The rabbit eats the dog.[(triple9)] @1: The bear needs the dog.[(((triple1) -> rule1))] The rabbit needs the cow.[(((triple8 triple2) -> rule8))] @2: The cow eats the bear.[(((((triple8 triple2) -> rule8)) -> rule7))] The dog needs the bear.[(((((triple1) -> rule1)) -> rule4))] @3: The cow needs the cow.[(((((((triple8 triple2) -> rule8)) -> rule7) triple2) -> rule8))]