The rabbit is blue. The rabbit is rough. The rabbit is round. If someone is blue and round then they are rough. If the rabbit is blue then the rabbit is kind. If the rabbit is blue then the rabbit is round. If the rabbit is nice then the rabbit is round. If someone is blue then they are rough. Nice, kind people are round.
The rabbit is blue.
@0: The rabbit is blue.[(triple1)] The rabbit is rough.[(triple2 OR ((triple1) -> rule5) OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule1))] The rabbit is round.[(triple3 OR ((triple1) -> rule3))] @1: The rabbit is kind.[(((triple1) -> rule2))]