The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit is young. Young, nice things are red. If something is red then it is kind. If something is nice then it is red.
The rabbit chases the rabbit.
@0: The rabbit is cold.[(triple1)] The rabbit is kind.[(triple2 OR ((triple4) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple5 triple3) -> rule1)) -> rule2))] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4 OR ((triple3) -> rule3) OR ((triple5 triple3) -> rule1))] The rabbit is young.[(triple5)]