The rabbit is blue. The rabbit is not cold. The rabbit is green. The rabbit is red. The rabbit is young. If something is green and not young then it is red. Young things are not cold. If something is green and not red then it is cold.
The rabbit chases the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple3)] The rabbit is not cold.[(triple2 OR ((triple5) -> rule2))] The rabbit is red.[(triple4)] The rabbit is young.[(triple5)]