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