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