The rabbit is not green. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit is young. Young people are red. All red people are round.
The rabbit is not red.
@0: The rabbit is not green.[(triple1)] The rabbit is red.[(triple2 OR ((triple5) -> rule1))] The rabbit is rough.[(triple3)] The rabbit is round.[(triple4 OR ((triple2) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] The rabbit is young.[(triple5)]