The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is young. All blue things are nice. If the rabbit is cold and the rabbit is not blue then the rabbit is not young. If something is green and not nice then it is young. If something is nice then it is young. All young things are cold. If something is young and not blue then it is cold. Nice, green things are cold. If something is green and not nice then it is not cold.
The rabbit is not blue.
@0: The rabbit is blue.[(triple1)] The rabbit is cold.[(triple2 OR ((triple5) -> rule5) OR ((triple4 triple3) -> rule7) OR ((((triple4) -> rule4)) -> rule5) OR ((((triple1) -> rule1) triple3) -> rule7) OR ((((((triple1) -> rule1)) -> rule4)) -> rule5))] The rabbit is green.[(triple3)] The rabbit is nice.[(triple4 OR ((triple1) -> rule1))] The rabbit is young.[(triple5 OR ((triple4) -> rule4) OR ((((triple1) -> rule1)) -> rule4))]