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