The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit is young. If someone is green and not big then they are rough. If the rabbit is green and the rabbit is not big then the rabbit is not young. If someone is big then they are green. If someone is green then they are cold. All green people are cold. All big people are cold. If someone is cold and not green then they are not young. If someone is big then they are young.
The rabbit does not visit the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule4) OR ((triple3) -> rule5) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple1) -> rule3)) -> rule5))] The rabbit is green.[(triple3 OR ((triple1) -> rule3))] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5 OR ((triple1) -> rule8))]