The dog is green. The dog is nice. The dog likes the mouse. The dog needs the mouse. The dog sees the mouse. The dog sees the rabbit. The mouse is kind. The mouse is round. The mouse likes the dog. The mouse likes the rabbit. The mouse needs the rabbit. The mouse sees the dog. The rabbit is green. The rabbit likes the dog. The rabbit needs the dog. The rabbit sees the dog. If something needs the dog then it is nice. If something is green and nice then it needs the rabbit.
The mouse is not red.
@0: The dog is green.[(triple1)] The dog is nice.[(triple2)] The dog likes the mouse.[(triple3)] The dog needs the mouse.[(triple4)] The dog sees the mouse.[(triple5)] The dog sees the rabbit.[(triple6)] The mouse is kind.[(triple7)] The mouse is round.[(triple8)] The mouse likes the dog.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse needs the rabbit.[(triple11)] The mouse sees the dog.[(triple12)] The rabbit is green.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit sees the dog.[(triple16)] @1: The dog needs the rabbit.[(((triple1 triple2) -> rule2))] The rabbit is nice.[(((triple15) -> rule1))] @2: The rabbit needs the rabbit.[(((triple13 ((triple15) -> rule1)) -> rule2))]