The rabbit is big. The rabbit is blue. The rabbit is rough. All big things are not nice. Big, nice things are blue. If the rabbit is not blue and the rabbit is not big then the rabbit is green. If something is blue and not nice then it is rough. Big, nice things are not green. If something is big and not rough then it is green.
The rabbit is not big.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is rough.[(triple3 OR ((triple2 ((triple1) -> rule1)) -> rule4))] @1: The rabbit is not nice.[(((triple1) -> rule1))]