The rabbit is kind. The rabbit is round. The rabbit is young. If something is round and blue then it is kind. If the rabbit is young and the rabbit is kind then the rabbit is blue. If something is cold then it is round. If the rabbit is cold then the rabbit is kind. All blue, cold things are young. If the rabbit is kind and the rabbit is cold then the rabbit is blue. If something is kind and young then it is blue. If something is cold then it is round.
The rabbit likes the rabbit.
@0: The rabbit is kind.[(triple1)] The rabbit is round.[(triple2)] The rabbit is young.[(triple3)] @1: The rabbit is blue.[(((triple1 triple3) -> rule7) OR ((triple3 triple1) -> rule2))]