The bear chases the mouse. The cat chases the mouse. The lion is kind. The mouse is rough. If someone chases the cat then the cat likes the bear. If the mouse is kind and the mouse likes the cat then the cat chases the mouse. If someone is blue and they like the mouse then the mouse chases the lion. If someone eats the mouse then they eat the cat. If someone chases the bear then the bear likes the cat. If someone is nice then they chase the bear. If someone chases the mouse then they chase the cat. If someone chases the cat and the cat likes the bear then the bear eats the cat.
The mouse does not eat the cat.
@0: The bear chases the mouse.[(triple1)] The cat chases the mouse.[(triple2)] The lion is kind.[(triple3)] The mouse is rough.[(triple4)] @1: The bear chases the cat.[(((triple1) -> rule7))] The cat chases the cat.[(((triple2) -> rule7))] @2: The cat likes the bear.[(((((triple1) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule1))] @3: The bear eats the cat.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule8) OR ((((triple1) -> rule7) ((((triple2) -> rule7)) -> rule1)) -> rule8) OR ((((triple2) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule8) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule1)) -> rule8))]