The cow is blue. The cow is round. The cow likes the lion. The cow sees the dog. The cow sees the lion. The dog is green. The lion chases the cow. The lion is big. The lion is blue. The lion is red. If someone is blue and they see the dog then they like the dog. If the dog is green then the dog likes the cow.
The lion is big.
@0: The cow is blue.[(triple1)] The cow is round.[(triple2)] The cow likes the lion.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the lion.[(triple5)] The dog is green.[(triple6)] The lion chases the cow.[(triple7)] The lion is big.[(triple8)] The lion is blue.[(triple9)] The lion is red.[(triple10)] @1: The cow likes the dog.[(((triple1 triple4) -> rule1))] The dog likes the cow.[(((triple6) -> rule2))]