The cow eats the tiger. The cow likes the tiger. The mouse eats the tiger. The tiger is blue. The tiger is cold. The tiger is green. The tiger likes the mouse. If something likes the cow and the cow is blue then it is green. If something is nice and cold then it likes the mouse. If the mouse is big and the mouse is green then the mouse chases the cow. If something is nice then it is blue. If something likes the cow then it eats the tiger. If something eats the tiger and it likes the cow then the cow is nice. If the mouse is green then the mouse chases the tiger. If something eats the tiger then the tiger likes the cow.
The mouse does not like the cow.
@0: The cow eats the tiger.[(triple1)] The cow likes the tiger.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger is blue.[(triple4)] The tiger is cold.[(triple5)] The tiger is green.[(triple6 OR ((((triple1) -> rule8) ((((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple1) -> rule8) ((((((((triple1) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple1) -> rule8) ((((((((triple3) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple1) -> rule8) ((((((((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple3) -> rule8) ((((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple3) -> rule8) ((((((((triple1) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple3) -> rule8) ((((((((triple3) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule4)) -> rule1) OR ((((triple3) -> rule8) ((((((((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6)) -> rule4)) -> rule1))] The tiger likes the mouse.[(triple7)] @1: The tiger likes the cow.[(((triple1) -> rule8) OR ((triple3) -> rule8))] @2: The tiger eats the tiger.[(((((triple1) -> rule8)) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] @3: The cow is nice.[(((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6))] @4: The cow is blue.[(((((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple1) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule5) ((triple3) -> rule8)) -> rule6)) -> rule4))]