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