The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is round. The rabbit is young. All kind people are round. Cold, kind people are young. If someone is cold and blue then they are kind.
The rabbit visits the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is kind.[(triple3 OR ((triple2 triple1) -> rule3))] The rabbit is round.[(triple4 OR ((triple3) -> rule1) OR ((((triple2 triple1) -> rule3)) -> rule1))] The rabbit is young.[(triple5 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2 triple1) -> rule3)) -> rule2))]