The rabbit is green. The rabbit is nice. The rabbit is young. All big people are young. If the rabbit is green then the rabbit is rough. If the rabbit is young then the rabbit is rough. All young, big people are green. All rough people are big. If the rabbit is green and the rabbit is big then the rabbit is rough.
The rabbit is not rough.
@0: The rabbit is green.[(triple1 OR ((triple3 ((((triple3) -> rule3)) -> rule5)) -> rule4))] The rabbit is nice.[(triple2)] The rabbit is young.[(triple3 OR ((((((triple1) -> rule2)) -> rule5)) -> rule1))] @1: The rabbit is rough.[(((triple1) -> rule2) OR ((triple3) -> rule3))] @2: The rabbit is big.[(((((triple1) -> rule2)) -> rule5) OR ((((triple3) -> rule3)) -> rule5))]