The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is not round. The rabbit is young. If something is round then it is not green. Red, round things are green. Kind things are green. All red things are young. If something is round and not kind then it is young. All kind, young things are red. If something is green then it is red. If something is green and not kind then it is red.
The rabbit is green.
@0: The rabbit is green.[(triple1 OR ((triple2) -> rule3))] The rabbit is kind.[(triple2)] The rabbit is not round.[(triple4)] The rabbit is red.[(triple3 OR ((triple1) -> rule7) OR ((triple2 triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule7))] The rabbit is young.[(triple5 OR ((triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((((triple2) -> rule3)) -> rule7)) -> rule4))]