The cow is nice. The cow likes the mouse. The mouse likes the cow. If something likes the mouse then it is green. If something sees the cow then the cow is green. If something is red then it visits the cow. If something visits the mouse then the mouse is green. If something is nice then it likes the mouse. If something likes the mouse then it visits the cow. If something is green then it sees the mouse. If something is nice then it visits the mouse.
The mouse is cold.
@0: The cow is nice.[(triple1)] The cow likes the mouse.[(triple2 OR ((triple1) -> rule5))] The mouse likes the cow.[(triple3)] @1: The cow is green.[(((triple2) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] The cow visits the cow.[(((triple2) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] The cow visits the mouse.[(((triple1) -> rule8))] @2: The cow sees the mouse.[(((((triple2) -> rule1)) -> rule7) OR ((((((triple1) -> rule5)) -> rule1)) -> rule7))] The mouse is green.[(((((triple1) -> rule8)) -> rule4))] @3: The mouse sees the mouse.[(((((((triple1) -> rule8)) -> rule4)) -> rule7))]