The cow is red. The dog is big. The mouse chases the dog. If something is red then it sees the mouse. If something chases the dog then it sees the dog. If something is red then it sees the cow. If something visits the cow and it sees the dog then the cow visits the mouse. If something chases the cow then it is not nice. If something sees the cow and it is not big then it is nice. If something sees the mouse then the mouse chases the cow. If something visits the cow then it is red.
The dog is not red.
@0: The cow is red.[(triple1)] The dog is big.[(triple2)] The mouse chases the dog.[(triple3)] @1: The cow sees the cow.[(((triple1) -> rule3))] The cow sees the mouse.[(((triple1) -> rule1))] The mouse sees the dog.[(((triple3) -> rule2))] @2: The mouse chases the cow.[(((((triple1) -> rule1)) -> rule7))] @3: The mouse is not nice.[(((((((triple1) -> rule1)) -> rule7)) -> rule5))]