The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. All big, red things are cold. Green, red things are rough. Big, green things are rough. Green things are cold. If the rabbit is cold and the rabbit is rough then the rabbit is green. If something is big then it is cold.
The rabbit does not visit the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is cold.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule4) OR ((triple1 triple4) -> rule1))] The rabbit is green.[(triple3 OR ((triple2 triple5) -> rule5) OR ((((triple1) -> rule6) triple5) -> rule5) OR ((((triple1 triple4) -> rule1) triple5) -> rule5))] The rabbit is red.[(triple4)] The rabbit is rough.[(triple5 OR ((triple1 triple3) -> rule3) OR ((triple3 triple4) -> rule2))]