The cat is blue. The cat is rough. The cat sees the tiger. The cow needs the mouse. The cow sees the tiger. The cow visits the mouse. The cow visits the tiger. The mouse is green. The mouse is rough. The mouse visits the cow. The tiger needs the mouse. If the cow needs the mouse and the mouse sees the cow then the mouse needs the cow. If something visits the tiger and it visits the cow then it sees the mouse. If the mouse is rough and the mouse is red then the mouse visits the cat. If something needs the mouse then it visits the tiger. If something needs the mouse then the mouse sees the cat. If something sees the cow and the cow needs the tiger then the cow needs the mouse. If something sees the cat then it sees the cow. If something is blue and green then it sees the mouse. If something needs the cow then it visits the tiger.
The mouse does not see the cow.
@0: The cat is blue.[(triple1)] The cat is rough.[(triple2)] The cat sees the tiger.[(triple3)] The cow needs the mouse.[(triple4)] The cow sees the tiger.[(triple5)] The cow visits the mouse.[(triple6)] The cow visits the tiger.[(triple7 OR ((triple4) -> rule4))] The mouse is green.[(triple8)] The mouse is rough.[(triple9)] The mouse visits the cow.[(triple10)] The tiger needs the mouse.[(triple11)] @1: The mouse sees the cat.[(((triple11) -> rule5) OR ((triple4) -> rule5))] The tiger visits the tiger.[(((triple11) -> rule4))] @2: The mouse sees the cow.[(((((triple11) -> rule5)) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] @3: The mouse needs the cow.[(((triple4 ((((triple11) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((triple4) -> rule5)) -> rule7)) -> rule1))] @4: The mouse visits the tiger.[(((((triple4 ((((triple11) -> rule5)) -> rule7)) -> rule1)) -> rule9) OR ((((triple4 ((((triple4) -> rule5)) -> rule7)) -> rule1)) -> rule9))] @5: The mouse sees the mouse.[(((((((triple4 ((((triple11) -> rule5)) -> rule7)) -> rule1)) -> rule9) triple10) -> rule2) OR ((((((triple4 ((((triple4) -> rule5)) -> rule7)) -> rule1)) -> rule9) triple10) -> rule2))]