The bear eats the cow. The bear is blue. The bear is young. The bear visits the lion. The cow eats the dog. The cow likes the lion. The cow visits the lion. The dog is blue. The dog is nice. The dog likes the bear. The dog likes the cow. The dog likes the lion. The lion eats the cow. The lion likes the cow. The lion visits the bear. If someone is blue then they are green. If someone is green and they eat the dog then they eat the bear. If someone likes the lion and they are round then they eat the cow. If someone is blue and green then they eat the dog. If someone is green then they are round. If someone is nice then they like the bear.
The dog eats the dog.
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is young.[(triple3)] The bear visits the lion.[(triple4)] The cow eats the dog.[(triple5)] The cow likes the lion.[(triple6)] The cow visits the lion.[(triple7)] The dog is blue.[(triple8)] The dog is nice.[(triple9)] The dog likes the bear.[(triple10 OR ((triple9) -> rule6))] The dog likes the cow.[(triple11)] The dog likes the lion.[(triple12)] The lion eats the cow.[(triple13)] The lion likes the cow.[(triple14)] The lion visits the bear.[(triple15)] @1: The bear is green.[(((triple2) -> rule1))] The dog is green.[(((triple8) -> rule1))] @2: The bear eats the dog.[(((triple2 ((triple2) -> rule1)) -> rule4))] The bear is round.[(((((triple2) -> rule1)) -> rule5))] The dog eats the dog.[(((triple8 ((triple8) -> rule1)) -> rule4))] The dog is round.[(((((triple8) -> rule1)) -> rule5))] @3: The bear eats the bear.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule2))] The dog eats the bear.[(((((triple8) -> rule1) ((triple8 ((triple8) -> rule1)) -> rule4)) -> rule2))] The dog eats the cow.[(((triple12 ((((triple8) -> rule1)) -> rule5)) -> rule3))]