The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is round. If someone is red then they are round. If someone is round then they are kind. If someone is big and green then they are kind.
The rabbit chases the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple1 triple2) -> rule3) OR ((((triple4) -> rule1)) -> rule2))] The rabbit is red.[(triple4)] The rabbit is round.[(triple5 OR ((triple4) -> rule1))]