The cat chases the cow. The cat does not chase the mouse. The cat chases the tiger. The cat is kind. The cat is nice. The cat sees the tiger. The cow is round. The mouse eats the cow. The mouse sees the cow. The tiger chases the cat. The tiger chases the cow. The tiger eats the cat. If something sees the mouse then the mouse is big. If something chases the mouse then it does not eat the mouse. If something sees the cow then the cow sees the mouse. If something is big then it eats the cat. If something chases the tiger and it does not eat the cow then the tiger is not blue. If something eats the cow and it eats the tiger then the cow does not chase the mouse. If something chases the mouse then the mouse is round. If the tiger eats the cat and the tiger is not blue then the tiger chases the cow.
The tiger is not big.
@0: The cat chases the cow.[(triple1)] The cat chases the tiger.[(triple3)] The cat does not chase the mouse.[(triple2)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat sees the tiger.[(triple6)] The cow is round.[(triple7)] The mouse eats the cow.[(triple8)] The mouse sees the cow.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the cow.[(triple11)] The tiger eats the cat.[(triple12)] @1: The cow sees the mouse.[(((triple9) -> rule3))] @2: The mouse is big.[(((((triple9) -> rule3)) -> rule1))] @3: The mouse eats the cat.[(((((((triple9) -> rule3)) -> rule1)) -> rule4))]