The rabbit is not big. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. If the rabbit is big and the rabbit is not nice then the rabbit is blue. Nice, blue people are red.
The rabbit is red.
@0: The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is not big.[(triple1)] The rabbit is red.[(triple5 OR ((triple4 triple2) -> rule2))]