The cow eats the mouse. The cow is rough. The cow is round. The cow likes the mouse. The cow needs the mouse. The cow needs the tiger. The mouse is big. The mouse is red. The mouse likes the cow. The tiger eats the cow. The tiger is round. The tiger likes the mouse. If someone needs the cow then the cow likes the tiger. If someone likes the mouse and the mouse eats the tiger then they need the mouse. If someone likes the cow then they eat the tiger. If someone is rough and they eat the tiger then the tiger eats the mouse. If someone eats the mouse then they need the cow. If someone likes the cow then the cow needs the tiger. If someone eats the tiger then the tiger likes the cow. If the tiger needs the mouse and the mouse eats the cow then the mouse needs the tiger.
The cow likes the tiger.
@0: The cow eats the mouse.[(triple1)] The cow is rough.[(triple2)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The cow needs the mouse.[(triple5 OR ((triple4 ((triple9) -> rule3)) -> rule2))] The cow needs the tiger.[(triple6 OR ((triple9) -> rule6) OR ((((((triple9) -> rule3)) -> rule7)) -> rule6))] The mouse is big.[(triple7)] The mouse is red.[(triple8)] The mouse likes the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is round.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The cow needs the cow.[(((triple1) -> rule5))] The mouse eats the tiger.[(((triple9) -> rule3))] @2: The cow likes the tiger.[(((((triple1) -> rule5)) -> rule1))] The tiger likes the cow.[(((((triple9) -> rule3)) -> rule7))] The tiger needs the mouse.[(((triple12 ((triple9) -> rule3)) -> rule2))] @3: The tiger eats the tiger.[(((((((triple9) -> rule3)) -> rule7)) -> rule3))]