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