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