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