The cow is not big. The mouse likes the rabbit. The rabbit is young. The squirrel is big. If something likes the mouse then the mouse does not like the cow. If something is young then it likes the mouse. If something sees the cow then it likes the mouse.
The cow is not big.
@0: The cow is not big.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit is young.[(triple3)] The squirrel is big.[(triple4)] @1: The rabbit likes the mouse.[(((triple3) -> rule2))] @2: The mouse does not like the cow.[(((((triple3) -> rule2)) -> rule1))]