The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is round. The rabbit is young. If the rabbit is green then the rabbit is round. If something is green and not young then it is round. All young things are big.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule3))] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is round.[(triple4 OR ((triple3) -> rule1))] The rabbit is young.[(triple5)]