The bear chases the tiger. The bear eats the cat. The bear eats the tiger. The bear is rough. The cat chases the bear. The mouse is not red. The tiger chases the bear. The tiger does not eat the cat. The tiger is big. The tiger is young. If someone eats the bear then they are young. If someone eats the bear then they chase the bear. If someone chases the cat then they eat the mouse. If someone is kind and they chase the cat then they do not eat the mouse. If someone eats the mouse then the mouse is big. Big people are rough. If someone visits the cat and the cat is rough then they eat the bear. If someone visits the cat then they chase the tiger. If someone is rough then they chase the cat.
The mouse does not chase the cat.
@0: The bear chases the tiger.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the tiger.[(triple3)] The bear is rough.[(triple4)] The cat chases the bear.[(triple5)] The mouse is not red.[(triple6)] The tiger chases the bear.[(triple7)] The tiger does not eat the cat.[(triple8)] The tiger is big.[(triple9)] The tiger is young.[(triple10)] @1: The bear chases the cat.[(((triple4) -> rule9))] The tiger is rough.[(((triple9) -> rule6))] @2: The bear eats the mouse.[(((((triple4) -> rule9)) -> rule3))] The tiger chases the cat.[(((((triple9) -> rule6)) -> rule9))] @3: The mouse is big.[(((((((triple4) -> rule9)) -> rule3)) -> rule5) OR ((((((((triple9) -> rule6)) -> rule9)) -> rule3)) -> rule5))] The tiger eats the mouse.[(((((((triple9) -> rule6)) -> rule9)) -> rule3))] @4: The mouse is rough.[(((((((((triple4) -> rule9)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule6)) -> rule9)) -> rule3)) -> rule5)) -> rule6))] @5: The mouse chases the cat.[(((((((((((triple4) -> rule9)) -> rule3)) -> rule5)) -> rule6)) -> rule9) OR ((((((((((((triple9) -> rule6)) -> rule9)) -> rule3)) -> rule5)) -> rule6)) -> rule9))] @6: The mouse eats the mouse.[(((((((((((((triple4) -> rule9)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule3) OR ((((((((((((((triple9) -> rule6)) -> rule9)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule3))]