The dog does not eat the mouse. The dog is blue. The dog is cold. The dog is not kind. The dog visits the lion. The lion is not blue. The lion is cold. The lion is not kind. The lion does not see the dog. The lion sees the mouse. The lion visits the mouse. The mouse eats the dog. The mouse is cold. The mouse is red. The mouse does not see the dog. The mouse visits the lion. If someone is blue then they are not young. If someone is cold and not young then they are red. If someone sees the mouse and they are not red then they visit the mouse.
The dog is cold.
@0: The dog does not eat the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is not kind.[(triple4)] The dog visits the lion.[(triple5)] The lion does not see the dog.[(triple9)] The lion is cold.[(triple7)] The lion is not blue.[(triple6)] The lion is not kind.[(triple8)] The lion sees the mouse.[(triple10)] The lion visits the mouse.[(triple11)] The mouse does not see the dog.[(triple15)] The mouse eats the dog.[(triple12)] The mouse is cold.[(triple13)] The mouse is red.[(triple14)] The mouse visits the lion.[(triple16)] @1: The dog is not young.[(((triple2) -> rule1))] @2: The dog is red.[(((triple3 ((triple2) -> rule1)) -> rule2))]