The dog does not like the mouse. The mouse sees the tiger. The tiger is big. If something is red then it sees the tiger. If something likes the tiger and it is not big then it chases the tiger. If something sees the tiger then it likes the tiger. If something is red then it likes the tiger. If something chases the mouse then the mouse is red. If something sees the tiger and the tiger is not big then it does not like the mouse. If something likes the tiger then the tiger chases the mouse. If the tiger does not like the mouse then the tiger sees the dog.
The mouse is not red.
@0: The dog does not like the mouse.[(triple1)] The mouse sees the tiger.[(triple2)] The tiger is big.[(triple3)] @1: The mouse likes the tiger.[(((triple2) -> rule3))] @2: The tiger chases the mouse.[(((((triple2) -> rule3)) -> rule7))] @3: The mouse is red.[(((((((triple2) -> rule3)) -> rule7)) -> rule5))]