The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is young. Red people are young. All kind people are red. If the rabbit is green and the rabbit is red then the rabbit is kind.
The rabbit is green.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3 OR ((triple2 triple4) -> rule3))] The rabbit is red.[(triple4 OR ((triple3) -> rule2))] The rabbit is young.[(triple5 OR ((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]