The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is young. All kind things are rough. If something is young then it is red. If the rabbit is young and the rabbit is kind then the rabbit is green.
The rabbit is kind.
@0: The rabbit is green.[(triple1 OR ((triple5 triple2) -> rule3))] The rabbit is kind.[(triple2)] The rabbit is red.[(triple3 OR ((triple5) -> rule2))] The rabbit is rough.[(triple4 OR ((triple2) -> rule1))] The rabbit is young.[(triple5)]