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