The rabbit is big. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is young. If someone is kind then they are cold. If the rabbit is young and the rabbit is not kind then the rabbit is not nice.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple3) -> rule1))] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is young.[(triple5)]