The rabbit is blue. The rabbit is kind. The rabbit is rough. If the rabbit is blue then the rabbit is rough. All rough, red things are kind. All red, big things are blue.
The rabbit is not rough.
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is rough.[(triple3 OR ((triple1) -> rule1))]