The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is rough. Green, nice people are rough. Green, rough people are cold. All red people are green. If someone is cold then they are red. All cold, green people are red. Red people are rough.
The rabbit does not visit the rabbit.
@0: The rabbit is cold.[(triple1 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple4) -> rule6)) -> rule2) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule3) triple5) -> rule2) OR ((((triple4) -> rule3) ((triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule3) ((triple2 triple3) -> rule1)) -> rule2) OR ((triple2 ((((triple4) -> rule3) triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3) triple3) -> rule1)) -> rule2))] The rabbit is green.[(triple2 OR ((triple4) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule5) OR ((((triple2 triple5) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule2) triple2) -> rule5) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule2)) -> rule4) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule2) triple2) -> rule5))] The rabbit is rough.[(triple5 OR ((triple4) -> rule6) OR ((triple2 triple3) -> rule1) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple1 triple2) -> rule5)) -> rule6) OR ((((triple4) -> rule3) triple3) -> rule1) OR ((((((triple1) -> rule4)) -> rule3) triple3) -> rule1))]