The cow sees the lion. The lion visits the rabbit. The rabbit is blue. The tiger chases the lion. If something sees the cow then it is young. If the cow is big and the cow visits the rabbit then the rabbit sees the cow. Young things are round. If something is young then it visits the cow. If something visits the rabbit and it sees the cow then the rabbit sees the cow. If something is round then it sees the cow. All blue things are big. If something visits the lion then it is blue.
The rabbit is blue.
@0: The cow sees the lion.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit is blue.[(triple3)] The tiger chases the lion.[(triple4)] @1: The rabbit is big.[(((triple3) -> rule7))]