The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is not nice. The rabbit is rough. If something is big then it is rough. If something is nice and blue then it is not green.
The rabbit does not like the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is not nice.[(triple4)] The rabbit is rough.[(triple5 OR ((triple1) -> rule1))]