The cat is green. The cat sees the squirrel. The dog is green. The dog likes the rabbit. The dog needs the cat. The dog needs the squirrel. The rabbit sees the cat. The rabbit sees the squirrel. The squirrel is red. The squirrel likes the rabbit. If something sees the dog and the dog is big then it is red. If something likes the rabbit then it is nice. If something is kind and it likes the dog then the dog is green.
The dog is not nice.
@0: The cat is green.[(triple1)] The cat sees the squirrel.[(triple2)] The dog is green.[(triple3)] The dog likes the rabbit.[(triple4)] The dog needs the cat.[(triple5)] The dog needs the squirrel.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the rabbit.[(triple10)] @1: The dog is nice.[(((triple4) -> rule2))] The squirrel is nice.[(((triple10) -> rule2))]