The cow visits the tiger. The mouse visits the cow. The tiger eats the cow. The tiger eats the mouse. The tiger is big. The tiger likes the mouse. The tiger visits the mouse. If someone likes the mouse then they like the cow. If someone visits the mouse and they like the cow then the mouse eats the tiger. If someone eats the tiger then they are big. If someone eats the mouse and the mouse is blue then they like the cow. If someone likes the cow then they eat the cow. If someone visits the tiger and the tiger likes the cow then the cow eats the tiger.
The cow visits the mouse.
@0: The cow visits the tiger.[(triple1)] The mouse visits the cow.[(triple2)] The tiger eats the cow.[(triple3 OR ((((triple6) -> rule1)) -> rule5))] The tiger eats the mouse.[(triple4)] The tiger is big.[(triple5)] The tiger likes the mouse.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The tiger likes the cow.[(((triple6) -> rule1))] @2: The cow eats the tiger.[(((triple1 ((triple6) -> rule1)) -> rule6))] The mouse eats the tiger.[(((triple7 ((triple6) -> rule1)) -> rule2))] @3: The cow is big.[(((((triple1 ((triple6) -> rule1)) -> rule6)) -> rule3))] The mouse is big.[(((((triple7 ((triple6) -> rule1)) -> rule2)) -> rule3))]