The dog is not kind. The dog is round. The dog likes the rabbit. The dog visits the lion. The lion is kind. The lion is red. The mouse needs the lion. The mouse visits the dog. The mouse does not visit the rabbit. The rabbit is green. The rabbit likes the mouse. The rabbit visits the dog. Red people are green. If someone is green then they like the lion.
The lion does not like the lion.
@0: The dog is not kind.[(triple1)] The dog is round.[(triple2)] The dog likes the rabbit.[(triple3)] The dog visits the lion.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The mouse does not visit the rabbit.[(triple9)] The mouse needs the lion.[(triple7)] The mouse visits the dog.[(triple8)] The rabbit is green.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The lion is green.[(((triple6) -> rule1))] The rabbit likes the lion.[(((triple10) -> rule2))] @2: The lion likes the lion.[(((((triple6) -> rule1)) -> rule2))]