The cow is blue. The cow is nice. The cow likes the rabbit. The cow needs the rabbit. The cow sees the dog. The cow sees the rabbit. The dog is blue. The dog is cold. The dog is rough. The dog likes the cow. The dog likes the rabbit. The dog needs the cow. The dog needs the rabbit. The dog sees the cow. The rabbit likes the cow. The rabbit likes the dog. If someone sees the dog then they are nice. If someone needs the rabbit and they need the cow then they see the dog. If the dog is red then the dog sees the rabbit.
The rabbit does not see the rabbit.
@0: The cow is blue.[(triple1)] The cow is nice.[(triple2 OR ((triple5) -> rule1))] The cow likes the rabbit.[(triple3)] The cow needs the rabbit.[(triple4)] The cow sees the dog.[(triple5)] The cow sees the rabbit.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog is rough.[(triple9)] The dog likes the cow.[(triple10)] The dog likes the rabbit.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the rabbit.[(triple13)] The dog sees the cow.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit likes the dog.[(triple16)] @1: The dog sees the dog.[(((triple13 triple12) -> rule2))] @2: The dog is nice.[(((((triple13 triple12) -> rule2)) -> rule1))]