The rabbit is big. Green, rough people are not big. If someone is nice and young then they are not big. If someone is green and big then they are nice. If someone is big and green then they are not young. All young, big people are rough. If someone is big then they are rough. If the rabbit is rough then the rabbit is young. If someone is big and nice then they are green.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1)] @1: The rabbit is rough.[(((triple1) -> rule6))] @2: The rabbit is young.[(((((triple1) -> rule6)) -> rule7))]