The dog is blue. The dog is green. The dog is nice. The dog is rough. The dog likes the rabbit. The dog needs the rabbit. The dog sees the rabbit. The rabbit is blue. The rabbit is nice. The rabbit likes the dog. The rabbit needs the dog. The rabbit sees the dog. If something sees the rabbit then it is rough. If the dog needs the rabbit then the dog likes the rabbit. If the dog is rough then the dog needs the rabbit.
The dog sees the rabbit.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4 OR ((triple7) -> rule1))] The dog likes the rabbit.[(triple5 OR ((triple6) -> rule2) OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple7) -> rule1)) -> rule3)) -> rule2))] The dog needs the rabbit.[(triple6 OR ((triple4) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] The dog sees the rabbit.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit likes the dog.[(triple10)] The rabbit needs the dog.[(triple11)] The rabbit sees the dog.[(triple12)]