The cat eats the tiger. The cat is rough. The lion eats the cat. The mouse chases the cat. The mouse chases the lion. The mouse is rough. The tiger chases the mouse. If the lion eats the tiger then the lion is green. If someone chases the tiger then the tiger chases the mouse. If someone is green and rough then they eat the tiger. Green people are young. If the mouse chases the lion then the lion eats the tiger. If someone sees the lion then the lion is cold.
The cat does not eat the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is rough.[(triple2)] The lion eats the cat.[(triple3)] The mouse chases the cat.[(triple4)] The mouse chases the lion.[(triple5)] The mouse is rough.[(triple6)] The tiger chases the mouse.[(triple7)] @1: The lion eats the tiger.[(((triple5) -> rule5))] @2: The lion is green.[(((((triple5) -> rule5)) -> rule1))] @3: The lion is young.[(((((((triple5) -> rule5)) -> rule1)) -> rule4))]