The bear chases the cat. The bear is blue. The bear is young. The bear sees the mouse. The bear sees the rabbit. The cat chases the mouse. The cat is blue. The cat is red. The cat sees the bear. The cat sees the rabbit. The mouse chases the cat. The mouse is blue. The rabbit chases the bear. The rabbit is kind. The rabbit likes the cat. The rabbit sees the cat. If the cat is kind then the cat likes the bear. If someone is blue then they are green. Green people are kind.
The cat does not see the bear.
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear is young.[(triple3)] The bear sees the mouse.[(triple4)] The bear sees the rabbit.[(triple5)] The cat chases the mouse.[(triple6)] The cat is blue.[(triple7)] The cat is red.[(triple8)] The cat sees the bear.[(triple9)] The cat sees the rabbit.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is blue.[(triple12)] The rabbit chases the bear.[(triple13)] The rabbit is kind.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bear is green.[(((triple2) -> rule2))] The cat is green.[(((triple7) -> rule2))] The mouse is green.[(((triple12) -> rule2))] @2: The bear is kind.[(((((triple2) -> rule2)) -> rule3))] The cat is kind.[(((((triple7) -> rule2)) -> rule3))] The mouse is kind.[(((((triple12) -> rule2)) -> rule3))] @3: The cat likes the bear.[(((((((triple7) -> rule2)) -> rule3)) -> rule1))]