The rabbit is young. If someone is round then they are young. All big, round people are not young. If someone is young and blue then they are nice. If someone is young and big then they are nice. If someone is blue then they are big. All young people are big. Young people are blue. If the rabbit is round and the rabbit is not young then the rabbit is nice.
The rabbit is not nice.
@0: The rabbit is young.[(triple1)] @1: The rabbit is big.[(((triple1) -> rule6) OR ((((triple1) -> rule7)) -> rule5))] The rabbit is blue.[(((triple1) -> rule7))] @2: The rabbit is nice.[(((triple1 ((triple1) -> rule6)) -> rule4) OR ((triple1 ((triple1) -> rule7)) -> rule3) OR ((triple1 ((((triple1) -> rule7)) -> rule5)) -> rule4))]