The cow is big. The cow is green. The cow likes the dog. The cow sees the tiger. The dog chases the tiger. The dog is big. The dog is rough. The dog likes the tiger. The dog sees the tiger. The tiger chases the dog. The tiger is big. The tiger is blue. The tiger is green. The tiger likes the cow. The tiger sees the dog. If something is blue then it likes the cow. If something chases the cow and it likes the cow then it likes the dog. If something likes the cow and the cow is blue then it is kind. If something chases the tiger then the tiger is kind. If something sees the tiger then the tiger sees the cow. If the dog is rough then the dog chases the cow. If the cow is blue and the cow chases the tiger then the tiger is rough. If something chases the tiger then the tiger is big.
The cow likes the cow.
@0: The cow is big.[(triple1)] The cow is green.[(triple2)] The cow likes the dog.[(triple3)] The cow sees the tiger.[(triple4)] The dog chases the tiger.[(triple5)] The dog is big.[(triple6)] The dog is rough.[(triple7)] The dog likes the tiger.[(triple8)] The dog sees the tiger.[(triple9)] The tiger chases the dog.[(triple10)] The tiger is big.[(triple11 OR ((triple5) -> rule8))] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger likes the cow.[(triple14 OR ((triple12) -> rule1))] The tiger sees the dog.[(triple15)] @1: The dog chases the cow.[(((triple7) -> rule6))] The tiger is kind.[(((triple5) -> rule4))] The tiger sees the cow.[(((triple4) -> rule5) OR ((triple9) -> rule5))]