The cow is round. If the cow is red and the cow is big then the cow is young. Round things are red. If something is young and round then it is red. If something is big and round then it is red. All young things are big. All blue, red things are young. All red things are young. If something is blue then it is round.
The cow is not big.
@0: The cow is round.[(triple1)] @1: The cow is red.[(((triple1) -> rule2))] @2: The cow is young.[(((((triple1) -> rule2)) -> rule7))] @3: The cow is big.[(((((((triple1) -> rule2)) -> rule7)) -> rule5))]