The rabbit is not green. The rabbit is not nice. The rabbit is red. The rabbit is rough. The rabbit is not round. If the rabbit is red and the rabbit is rough then the rabbit is not nice. If the rabbit is round and the rabbit is not red then the rabbit is not green. Green people are round. If the rabbit is green then the rabbit is round. If someone is round and not nice then they are green. If someone is nice then they are green. If someone is rough then they are not green. Nice people are green.
The rabbit sees the rabbit.
@0: The rabbit is not green.[(triple1 OR ((triple4) -> rule7))] The rabbit is not nice.[(triple2 OR ((triple3 triple4) -> rule1))] The rabbit is not round.[(triple5)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)]