The rabbit is kind. If something is kind then it is red. All green things are nice. If something is kind and nice then it is red. Nice things are green. If something is kind and blue then it is red. All nice things are red. All nice things are kind. All green things are red.
The rabbit is not nice.
@0: The rabbit is kind.[(triple1)] @1: The rabbit is red.[(((triple1) -> rule1))]