The rabbit is not big. The rabbit is cold. The rabbit is not kind. The rabbit is nice. The rabbit is round. If the rabbit is round and the rabbit is not nice then the rabbit is kind. If the rabbit is nice and the rabbit is not big then the rabbit is not kind. Nice things are cold.
The rabbit is cold.
@0: The rabbit is cold.[(triple2 OR ((triple4) -> rule3))] The rabbit is nice.[(triple4)] The rabbit is not big.[(triple1)] The rabbit is not kind.[(triple3 OR ((triple4 triple1) -> rule2))] The rabbit is round.[(triple5)]