The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is rough. If someone is kind then they are green. Rough people are green. If someone is big and cold then they are rough.
The rabbit sees the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is green.[(triple3 OR ((triple4) -> rule1) OR ((triple5) -> rule2) OR ((((triple1 triple2) -> rule3)) -> rule2))] The rabbit is kind.[(triple4)] The rabbit is rough.[(triple5 OR ((triple1 triple2) -> rule3))]