The cat is blue. The cat is red. The cat needs the mouse. The cat sees the cow. The cat sees the mouse. The cow is big. The cow is red. The cow is young. The cow needs the mouse. The dog chases the cat. The dog is rough. The dog needs the mouse. The dog sees the cat. The dog sees the mouse. The mouse chases the cat. If someone sees the cow then they see the cat. If someone sees the cat then they are young. If the cow sees the dog and the cow needs the mouse then the cow needs the cat.
The mouse is young.
@0: The cat is blue.[(triple1)] The cat is red.[(triple2)] The cat needs the mouse.[(triple3)] The cat sees the cow.[(triple4)] The cat sees the mouse.[(triple5)] The cow is big.[(triple6)] The cow is red.[(triple7)] The cow is young.[(triple8)] The cow needs the mouse.[(triple9)] The dog chases the cat.[(triple10)] The dog is rough.[(triple11)] The dog needs the mouse.[(triple12)] The dog sees the cat.[(triple13)] The dog sees the mouse.[(triple14)] The mouse chases the cat.[(triple15)] @1: The cat sees the cat.[(((triple4) -> rule1))] The dog is young.[(((triple13) -> rule2))] @2: The cat is young.[(((((triple4) -> rule1)) -> rule2))]