The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is not red. The rabbit is rough. All big people are rough. Red people are rough. If someone is green and not big then they are rough. Red people are green. If someone is cold and big then they are green. If someone is rough and not big then they are green. If the rabbit is rough then the rabbit is not red. If the rabbit is red then the rabbit is green.
The rabbit is rough.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3 OR ((triple2 triple1) -> rule5))] The rabbit is not red.[(triple4 OR ((triple5) -> rule7) OR ((((triple1) -> rule1)) -> rule7))] The rabbit is rough.[(triple5 OR ((triple1) -> rule1))]