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