The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is round. The rabbit is not young. All round, green people are big. If the rabbit is round and the rabbit is big then the rabbit is kind.
The rabbit is not green.
@0: The rabbit is big.[(triple1 OR ((triple4 triple2) -> rule1))] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4 triple2) -> rule1)) -> rule2))] The rabbit is not young.[(triple5)] The rabbit is round.[(triple4)]