The cow is big. The cow is nice. The cow likes the lion. The cow likes the squirrel. The cow sees the dog. The cow sees the lion. The dog sees the lion. The lion is blue. The lion sees the squirrel. The squirrel likes the dog. Blue people are red. If someone sees the dog and they like the dog then the dog is red. If someone is blue then they need the cow.
The lion is blue.
@0: The cow is big.[(triple1)] The cow is nice.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the dog.[(triple5)] The cow sees the lion.[(triple6)] The dog sees the lion.[(triple7)] The lion is blue.[(triple8)] The lion sees the squirrel.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The lion is red.[(((triple8) -> rule1))] The lion needs the cow.[(((triple8) -> rule3))]