The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is young. If someone is young and red then they are green.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3 OR ((triple5 triple4) -> rule1))] The rabbit is red.[(triple4)] The rabbit is young.[(triple5)]