The dog eats the rabbit. The dog is blue. The dog is round. The lion eats the dog. The lion is rough. The lion likes the dog. The rabbit eats the lion. If something is blue then it likes the dog. If something eats the lion then it is red.
The dog eats the rabbit.
@0: The dog eats the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is round.[(triple3)] The lion eats the dog.[(triple4)] The lion is rough.[(triple5)] The lion likes the dog.[(triple6)] The rabbit eats the lion.[(triple7)] @1: The dog likes the dog.[(((triple2) -> rule1))] The rabbit is red.[(((triple7) -> rule2))]