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