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