The cow is big. The cow likes the mouse. The cow needs the mouse. The cow visits the mouse. The mouse likes the cow. The mouse needs the cow. The mouse visits the cow. If someone likes the cow and the cow visits the mouse then the mouse needs the cow. If the cow likes the mouse and the mouse visits the cow then the mouse needs the cow. If someone is big and they like the cow then they visit the cow. If someone likes the cow then the cow likes the mouse. Green people are nice. If someone likes the cow then the cow is green.
The cow visits the cow.
@0: The cow is big.[(triple1)] The cow likes the mouse.[(triple2 OR ((triple5) -> rule4))] The cow needs the mouse.[(triple3)] The cow visits the mouse.[(triple4)] The mouse likes the cow.[(triple5)] The mouse needs the cow.[(triple6 OR ((triple2 triple7) -> rule2) OR ((triple5 triple4) -> rule1) OR ((((triple5) -> rule4) triple7) -> rule2))] The mouse visits the cow.[(triple7)] @1: The cow is green.[(((triple5) -> rule6))] @2: The cow is nice.[(((((triple5) -> rule6)) -> rule5))]