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